ADMIN
"admin directory", ADMIN,
%token MAXSEMIDS LOCKED SWAP SCHED CLEAR DEFROUTER ADMIN SECFLAGS USER AUTHS MAXPROCS
ADMIN SECFLAGS
| ADMIN { $$ = RT_ADMIN; }
EFX_MCDI_HAVE_PRIVILEGE(privilege_mask, ADMIN);
EFX_MCDI_HAVE_PRIVILEGE(privilege_mask, ADMIN);
EFX_MCDI_HAVE_PRIVILEGE(privilege_mask, ADMIN);
EFX_MCDI_HAVE_PRIVILEGE(privilege_mask, ADMIN);