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