Searched refs:identifier_push (Results 1 - 1 of 1) sorted by relevance

/external/checkpolicy/
H A Dpolicy_parse.y454 role_def : ROLE identifier_push ';'
456 | ROLE identifier_push '{' roles '}'
734 names_push : identifier_push
737 | tilde_push identifier_push
740 identifier_list_push : identifier_push
741 | identifier_list_push identifier_push
743 identifier_push : IDENTIFIER label

Completed in 161 milliseconds