<<>> <> <> <> <> DIRECTORY CStrings ; PCRCmdGlue: CEDAR DEFINITIONS ~ { <> PutProc: TYPE ~ PROC [msg: CStrings.CString, nBytes: INT]; <> Execute: PROC [cmd: CStrings.CString, proc: PutProc] RETURNS [CStrings.CString] ~ TRUSTED MACHINE CODE { "PCRCmdGlue$Execute" }; <> <> <> CommandLineProc: TYPE ~ PROC [cmdLine: CStrings.CString, putProc: PutProc, data: REF] RETURNS [result: REF]; <> <<>> RegisterWithPCRCommandLoop: PROC [proc: CommandLineProc, data: REF, pcrName, replacementName, helpMsg: CStrings.CString] RETURNS [INT] ~ TRUSTED MACHINE CODE { "PCRCmdGlue$RegisterWithPCRCommandLoop" }; <> <> <> }.