Gate | LIO.Delegate, LIO |
gate | LIO.Delegate, LIO |
GenericPrivDesc | |
1 (Type/Class) | LIO.Error |
2 (Data Constructor) | LIO.Error |
getClearance | LIO.Core, LIO |
getLabel | LIO.Core, LIO |
getLIOStateTCB | LIO.TCB |
glb | LIO.Label, LIO |
guardAlloc | LIO.Core, LIO |
guardAllocP | LIO.Core, LIO |
guardGate | LIO.Delegate, LIO |
GuardIO | LIO.TCB.LObj |
guardIOTCB | LIO.TCB.LObj |
guardWrite | LIO.Core, LIO |
guardWriteP | LIO.Core, LIO |