DC | LIO.DCLabel |
DCCatSet | LIO.DCLabel |
DCGate | LIO.DCLabel |
DCLabel | LIO.DCLabel |
DCLabeled | LIO.DCLabel |
DCPriv | LIO.DCLabel |
DCPrivTCB | LIO.DCLabel |
delegatePriv | LIO.DCLabel |
DirectoryOps | LIO.Handle |
discard | LIO.TCB, LIO.Safe, LIO |
discardP | LIO.TCB, LIO.Safe, LIO |
Disj | LIO.DCLabel |
disj | LIO.DCLabel |
disjToList | LIO.DCLabel |
dropPrivileges | LIO.TCB, LIO.Safe, LIO |