<> <> <> <> <<>> SparcSoftcardInit: CEDAR DEFINITIONS ~ { SoftcardPresent: PROC RETURNS [ present: BOOL ]; <> InitializeCPandIOPMaps: PROC; <> InsertSoftcardPhyscialMemory: PROC [ reclaim: PROC [ real: CARD16 ] ]; <> InitializeSoftcard: PROC [ reclaim: PROC [ real: CARD16 ] ]; <> ResetSoftcard: PROC; <> }.