P_cpuerr() { stop(); }
P_cpu_error_process() { doio(); }
P_DEVclock() { wait(); DEVclockTick(); result = STRuptSeid(); PSEpseudoInt(); PSEpseudoInt(); SCHuserGrant(); }
P_devint() { }
P_DEVpseudoGen() { wait_pse(); typeLine(); result = MAPnucleusToUser(); DEVtimeStamp(); typeString(); typeCardinal(); typeLine(); SWPprocMapIn(); back_up(); back_up(); SWPmapOut(); typeString(); typeCardinal(); typeLine(); PSEpseudoGen(); }
P_DH11in() { IODarmInt(); IOTenqueueChar(); result = IODwait(); IODarmInt(); }
P_DH11out() { getreq(); SIGsemP(); IODsetUnibusMap(); SIGsemV(); SIGsemP(); SIGsemP(); SIGsemV(); donereq(); }
P_DH11outputNotifier() { IODarmInt(); result = IODwait(); SIGsemP(); SIGsemV(); SIGsemV(); }
P_DL11in_int_handler() { doio(); send(); }
P_driver() { doio(); DEVgetPD(); send(); send(); }
P_EVinterrupt() { doio(); send(); }
P_GATemt() { emt_wait(); typeLine(); MAPadjustKSP(); }
P_gat_emt() { doio(); GATcode(); send(); }
P_inthandleTM11() { send(); doio(); }
P_IODdevDL11in() { DL11getTrans(); IOTenqueueChar(); }
P_IODdevDL11out() { getreq(); MEMreadPhys(); IODarmInt(); result = IODwait(); result = incc32(); donereq(); }
P_IODdevLP11() { getreq(); MEMreadPhys(); IODarmInt(); result = IODwait(); donereq(); }
P_IODdevPC11() { getreq(); MEMreadPhys(); IODarmInt(); result = IODwait(); donereq(); }
P_IODdevPR11() { getreq(); IODarmInt(); result = IODwait(); MEMwritePhys(); donereq(); }
P_IODdevRK05() { getreq(); SIGsemP(); IODarmInt(); IODsetUnibusMap(); result = IODwait(); clearControl(); clearControl(); result = incc32(); donereq(); SIGsemV(); }
P_IODdevRWP() { getreq(); SIGsemP(); divc32(); IODarmInt(); result = IODwait(); clearDrive(); SIGsemV(); donereq(); }
P_IODdevRWS04() { getreq(); SIGsemP(); IODarmInt(); result = IODwait(); clearDrive(); SIGsemV(); donereq(); }
P_IODdevTM11() { getreq(); SIGsemP(); IODarmInt(); result = IODwait(); clearDrive(); IODarmInt(); result = IODwait(); typeString(); typeBits(); typeLine(); clearDrive(); donereq(); SIGsemV(); }
P_IODdevTWE16() { getreq(); SIGsemP(); IODarmInt(); result = IODwait(); clearDrive(); IODarmInt(); result = IODwait(); clearDrive(); donereq(); SIGsemV(); }
P_IODintHandle() { send(); doio(); }
P_IOTterminal() { SIGsemP(); typeLine(); SIGsemV(); putecho(); IOTfinishInputWait(); getreq(); MEMwritePhys(); donereq(); }
P_ker_proc() { GAToutward(); result = equ_seid(); typeCall(); typeEOL(); typeString(); typeString(); typeString(); typeString(); typeString(); typeString(); typeCardinal(); typeEOL(); result = MEMreadParam(); typeParams(); result = MEMcoerceSstatus(); result = SMCLbuildSegment(); result = IOCK_close(); result = MEMcoerceSeid(); MEMcoerceOM(); result = IOCK_create(); result = MEMcoerceIoFunct(); result = MEMcoercePBlock(); result = MEMcoercePBlock(); result = IOCK_device_function(); result = INVfork(); result = MEMcoerceSeid(); result = IOCK_get_file_status(); result = MEMcoerceSeid(); result = get_object_level(); result = MEMcoerceSeid(); result = PSDgetStatus(); result = MEMcoerceSeid(); result = SMCLgetSegmentStatus(); result = call_priv(); result = PSEpseudoReturn(); result = MEMcoerceSeid(); result = INVinvoke(); result = MEMcoerceSeid(); result = IOFK_link(); result = MEMcoerceSeid(); result = IOFK_mount(); PSDnap(); result = MEMcoerceSeid(); MEMcoerceOM(); result = IOCK_open(); result = MEMcoerceSeid(); result = PSDpost(); result = MEMcoercePBlock(); result = IOCK_read_block(); result = PSEsetPseLev(); result = PSDreceive(); result = MEMcoerceSeid(); result = PSDrelease(); typeCall(); typeSeid(); typeEOL(); result = equ_seid(); PSDfatal(); result = SMCLreleaseSegment(); result = MEMcoerceVloc(); result = SMCLremap(); result = MEMcoerceSeid(); result = MEMcoerceVloc(); result = SMCLrendezvousSegment(); result = MEMcoerceSeid(); result = MEMcoerceSeid(); result = MEMcoerceSeid(); result = set_object_level(); result = MEMcoerceSeid(); MEMcoercePstatus(); result = PSDsetStatus(); result = MEMcoerceSeid(); result = MEMcoerceSstatus(); result = SMCLsetSegmentStatus(); result = MEMcoerceSeid(); result = PSDksignal(); result = MEMcoerceSeid(); result = INVspawn(); result = MEMcoerceSeid(); result = IOFK_unlink(); result = IOFK_unmount(); result = PSDwalk_process_table(); result = MEMcoercePBlock(); result = IOCK_write_block(); result = PSEsetPseLev(); result = MEMcoerceSeid(); result = set_da(); result = MEMcoerceSeid(); result = kset_priv(); set_real_id(); result = SMCLboot(); typeLine(); result = SMEAlock(); result = SMEAunlock(); audit_gen(); SMEAreleaseProcess(); IOCclose_all(); SMCLreleaseProcess(); PSDdelete(); typeLine(); SMCLinitialSegment(); typeLine(); set_priv(); typeCall(); typeString(); typeCardinal(); typeEOL(); typeParams(); MEMwriteParam(); typeParams(); audit_gen(); typeLine(); result = random(); DEVdelay(); }
P_LHDHdevice() { DEVclockSecond(); SPADuseMem(); makec32(); mulc32(); bufInit(); result = deviceInit(); result = EVwait(); result = EVtest(); EVreset(); bufInit(); result = deviceInit(); EVassert(); result = bufFull(); result = EVwait(); bufSetup(); deviceEnable(); result = EVwait(); bufPut(); EVassert(); }
P_LHDHread() { getreq(); EVreset(); result = bufEmpty(); result = EVwait(); result = bufGet(); moveMem(); result = incc32(); bufGot(); EVassert(); donereq(); }
P_LHDHtimer() { DEVclockSecond(); check_time(); check_time(); check_time(); }
P_LHDHwrite() { getreq(); EVreset(); deviceEnable(); result = EVwait(); EVreset(); EVassert(); result = EVwait(); donereq(); }
P_MAPsetMap() { SIGsemP(); send(); result = SIGawaited(); typeLine(); QUEnextReady(); typeString(); typeInteger(); typeLine(); result = MAPuserToIndex(); MAPgetPD(); result = MAPnucleusToIndex(); typeString(); typeInteger(); typeLine(); result = MAPfindMapIndex(); SWPprocMapIn(); SWPmapOut(); typeLine(); MAPpushGate(); SCHprimGrant(); SIGsemV(); }
P_map_reset() { typeLine(); SIGsemV(); typeLine(); SIGsemP(); typeLine(); result = MAPuserToIndex(); SWPprocMapIn(); SWPmapOut(); SWPpcsFree(); SIGsemV(); }
P_move_seg() { SIGsemP(); typeString(); typeString(); typeString(); typeCardinal(); typeEOL(); SWEmoveIn(); SWEmoveOut(); SIGsemV(); }
P_pause() { wait(); typeLine(); }
P_PSDrelease() { SIGsemV(); SIGsemP(); typeString(); typeInteger(); typeLine(); MAPresetOther(); typeLine(); SWPprocMapIn(); MESempty(); SWPmapOut(); typeLine(); SWPpcsFree(); typeLine(); QUEremoveElement(); typeLine(); send(); }
P_pwrfl() { stop(); }
P_signl() { send(); wait(); dsen(); dwai(); hstop(); }
P_software_trap() { doio(); DEVgetFPPstatus(); DEVgetPD(); send(); }
P_swap_manager() { SIGsemP(); typeLine(); QUEnextReady(); typeString(); typeInteger(); typeLine(); typeString(); typeInteger(); typeLine(); result = SPADrealize(); SWPpcsRealize(); SCHeligGrant(); SCHreschedule(); }
P_timingProcess() { DEVclockSecond(); timeoutCheck(); }
P_unsol() { }
M_access() { }
M_buf() { }
M_BUILD() { typeEOL(); typeString(); typeChar(); typeChar(); typeString(); typeChar(); typeEOL(); typeLine(); typeEOL(); }
M_clock() { driver(); }
M_constants() { }
M_dev_del() { DEVclock(); }
M_dev_time() { }
M_dev_trap() { DEVpseudoGen(); }
M_DL11atom() { }
M_drivers() { software_trap(); software_trap(); software_trap(); software_trap(); software_trap(); software_trap(); software_trap(); software_trap(); }
M_events() { }
M_gat() { GATemt(); }
M_gat_inward() { gat_emt(); }
M_handleDH11() { IODnewCtl(); IODnewCtl(); IODintHandle(); IODintHandle(); IODnewTerminal(); IOTterminal(); SIGsemInit(); result = IODunibusMapAllocate(); IODunibusMapAttach(); DH11out(); DH11outputNotifier(); DH11in(); SIGsemV(); SIGsemV(); }
M_handleLP11() { IODnewCtl(); IODintHandle(); IODnewDevice(); IODdevLP11(); }
M_handlePC11() { IODnewCtl(); IODintHandle(); IODnewDevice(); IODdevPC11(); SIGsemV(); }
M_handlePR11() { IODnewCtl(); IODintHandle(); IODnewDevice(); IODdevPR11(); SIGsemV(); }
M_handleRWS04() { IODnewCtl(); IODintHandle(); clearDrive(); IODnewDevice(); IODdevRWS04(); SIGsemV(); }
M_handleTM11() { IODnewCtl(); SIGsemP(); inthandleTM11(); wait(); clearDrive(); IODnewUnit(); IODdevTM11(); SIGsemV(); }
M_initDL11() { IODnewCtl(); IODintHandle(); DL11in_int_handler(); IODnewTerminal(); IODdevDL11out(); IODdevDL11in(); IOTterminal(); IODnewCtl(); IODintHandle(); IODnewTerminal(); IODdevDL11out(); DL11in_int_handler(); IODdevDL11in(); IOTterminal(); }
M_initRK05() { IODnewCtl(); IODintHandle(); result = IODunibusMapAllocate(); clearControl(); IODarmInt(); result = IODwait(); clearControl(); IODnewDevice(); IODunibusMapAttach(); IODdevRK05(); SIGsemV(); }
M_initRWP() { IODnewCtl(); IODintHandle(); clearDrive(); IODnewDevice(); IODdevRWP(); SIGsemV(); }
M_initTWE16() { IODnewCtl(); IODintHandle(); clearDrive(); IODnewDevice(); IODdevTWE16(); SIGsemV(); }
M_inv() { }
M_IOCommon() { }
M_IOD() { }
M_IODbus() { }
M_IODdevs() { }
M_IODDH11() { }
M_IODDL11() { }
M_IODint() { }
M_IODLHDH() { result = IODtest_bus(); EVinterrupt(); EVinterrupt(); IODnewDuplexDevice(); result = IODunibusMapAllocate(); IODunibusMapAttach(); result = IODunibusMapAllocate(); IODunibusMapAttach(); LHDHread(); LHDHwrite(); LHDHdevice(); LHDHtimer(); }
M_IODLP11() { }
M_IODnew() { }
M_IODPC11() { }
M_IODPR11() { }
M_IODqueue() { }
M_IODRK05() { }
M_IODRWP() { }
M_IODRWS04() { }
M_IODsubt() { IODnewDevice(); }
M_IODsys() { }
M_IODtimer() { timingProcess(); }
M_IODtimerMonitor() { }
M_IODTM11() { }
M_IODtrap() { cpu_error_process(); }
M_IODTWE16() { }
M_IOE() { }
M_IOEsys() { SIGsemInit(); }
M_IOF() { }
M_IOFcacher() { cacheClear(); }
M_IOFindex() { }
M_IOFspace() { }
M_IOFsys() { SIGsemInit(); SIGsemInit(); }
M_IOSecure() { }
M_IOTqueue() { }
M_IOTsys() { }
M_IOUtil() { }
M_kcdp() { typeLine(); typeLine(); typeString(); typeInteger(); typeChar(); typeChar(); ker_proc(); typeLine(); typeLine(); result = PSDcreate(); typeString(); typeSeid(); typeChar(); typeChar(); typeLine(); SWPpcsRealize(); SCHeligGrant(); typeLine(); }
M_Kernel() { typeChar(); typeEOL(); typeLine(); }
M_KIOa() { }
M_KIOb() { }
M_KLIB() { }
M_KPRa() { }
M_KPRb() { }
M_KPRc() { }
M_KPRd() { }
M_KSMa() { }
M_KSMald() { }
M_KSMb() { }
M_KSMc() { SIGsemInit(); }
M_KSMinit() { }
M_KSPa() { }
M_KSParith() { }
M_KSPb() { }
M_KSPrandom() { }
M_KTYP() { }
M_KUT() { }
M_map() { SIGsemInit(); SIGsemInit(); SIGsemInit(); SIGsemInit(); SIGsemInit(); pause(); MAPsetMap(); map_reset(); }
M_mem() { }
M_memory() { }
M_mem_acc() { }
M_mem_par() { }
M_mes() { SIGsemInit(); }
M_mes_aud() { SIGsemInit(); result = SCHsemInit(); }
M_mes_buf() { }
M_mes_emp() { }
M_mes_pse() { }
M_nuc_adr() { get_baseds(); }
M_nuc_cntx() { }
M_OSAL() { }
M_poft_services() { }
M_psd() { }
M_psd_can() { }
M_psd_del() { }
M_psd_ipc() { SIGsemInit(); }
M_psd_new() { SIGsemInit(); SIGsemInit(); PSDrelease(); }
M_psd_stat() { }
M_pse() { }
M_PSMG() { }
M_PUAL() { }
M_que() { SIGsemInit(); SIGsemInit(); }
M_SAC() { }
M_sch() { }
M_sch_pgnt() { }
M_sch_sem() { }
M_sig() { }
M_SIRH() { }
M_SMCL() { }
M_SMEA() { SIGsemInit(); }
M_SMPC() { }
M_SMX() { }
M_SPADa() { }
M_SPADc() { }
M_STMG() { result = PUALinitialize(); }
M_str_map() { }
M_SURH() { }
M_SWE() { result = IODK_open(); IODK_device_function(); result = IODK_close(); result = IOEK_open(); typeVarl(); result = IOEinfoAccess(); result = incc32(); divc32(); OSALinitialize(); result = OSALfree(); SWEclearSwap(); typeString(); typeCardinal(); typeEOL(); typeLine(); typeCardinal(); typeVarl(); typeLine(); OSALinitialize(); result = OSALfree(); MEMclearBlock(); result = OSALfree(); MEMclearBlock(); }
M_SWEswap() { }
M_switchRegister() { }
M_swp() { swap_manager(); }
M_swp_map() { SIGsemInit(); }
M_swp_pcs() { typeLine(); SIGsemInit(); SIGsemInit(); SIGsemInit(); SIGsemInit(); SIGsemInit(); move_seg(); typeLine(); SIRHpcsBuild(); typeString(); typeEOL(); typeLine(); SPADuseMem(); typeString(); typeEOL(); typeLine(); SWPmapIn(); PCSsanitize(); SWPmapOut(); SWEmoveOut(); typeString(); typeEOL(); SIGsemInit(); }
M_swp_san() { }
M_TII_acc() { }
M_TSM() { }
M_typeKtype() { }
M_typeKtype() { }
M_typewriter() { }
M_VMMGa() { }
M_VMMGc() { }
addc32() { addssd(); addssd(); addssd(); }
addssd() { }
adjust() { }
adrppt() { }
append() { }
attachImm() { result = STMGseidIndex(); result = SACcheck(); result = createAndCopyInstance(); result = STRgetTii(); SWPgetPcs(); result = SMCLrendezvousSegmentSupport(); SIRHdelete(); SWPputPcs(); }
audit_gen() { typeLine(); U_AUDIT(); }
back_up() { typeString(); typeInteger(); typeString(); typeCardinal(); typeLine(); }
begdb() { }
blockIo() { SIGsemP(); SIGsemP(); result = insureBlock(); result = cmpCard32(); result = incc32(); doExtent(); doExtent(); result = incc32(); SIGsemV(); doExtent(); SIGsemV(); }
blockTree() { subc32(); divc32(); }
bufEmpty() { }
bufFull() { }
bufGet() { result = bufEmpty(); result = incc32(); MEMreadPhys(); result = incc32(); }
bufGot() { result = incc32(); MEMwritePhys(); }
bufInit() { }
bufPut() { result = incc32(); MEMwritePhys(); }
bufSetup() { result = incc32(); }
cacheClear() { }
cacheGet() { divc32(); result = readSlots(); }
cacheRel() { }
cacheRewrite() { result = calcCheck(); result = writeSlots(); }
calcCheck() { }
callex() { }
callpd() { stop(); stop(); callex(); }
call_priv() { result = STRgetTii(); result = test_priv(); }
case() { stop(); }
checkBadModes() { }
checkOmode() { result = IOSprivilegeCheck(); }
check_time() { EVassert(); }
clear() { }
clearControl() { }
clearDrive() { }
clearDrive() { }
clearDrive() { }
clearDrive() { }
clear_block() { }
clear_ref() { typeVarl(); swap_seg(); }
cmpCard32() { }
cont() { pexi(); }
CPUtype() { }
createAndCopyInstance() { SMCLgetSegmentStatusSupport(); result = SIRHbuildSupport(); SWEmoveOut(); }
createAndCopyUse() { result = PSMGchooseEntry(); }
cv_blkad_bytad() { }
cv_bytad_blkad() { }
dcal() { callpd(); stop(); adjust(); dcon(); }
dcon() { }
decomposeBlockNumber() { divc32(); }
deletionCheck() { result = getKind(); moveItem(); cacheRel(); result = relFile(); result = getKind(); result = relIndexSlot(); }
DEVclockSecond() { wait(); }
DEVclockTick() { wait(); }
DEVdelay() { typeString(); typeInteger(); typeString(); typeCardinal(); typeLine(); DEVtimer(); SCHaddToWait(); }
DEVdelayCancel() { SCHuserGrant(); }
DEVgetFPPstatus() { }
DEVgetPD() { }
DEVgetPD() { }
deviceEnable() { IODsetUnibusMap(); }
deviceInit() { DEVclockSecond(); }
DEVsetClock() { }
DEVtimer() { send(); }
DEVtimeStamp() { }
divc32() { divcode(); }
divcode() { }
DL11getTrans() { wait(); }
dmplp() { }
doExtent() { result = MEMclearMem(); addc32(); IOEK_device_function(); }
doio() { nonker(); }
donereq() { IODerrorReport(); VMMGunlockBlock(); MESasynchCompletion(); SIGsemV(); SIGsemP(); SIGsemV(); }
dsen() { insert(); }
dump() { dmplp(); }
dwai() { doio(); }
emt_wait() { wait(); }
enddb() { }
equ_seid() { }
error_print() { typeString(); typeCardinal(); typeString(); typeCardinal(); typeString(); typeString(); typeString(); typeString(); typeCardinal(); typeString(); typeString(); typeString(); typeString(); typeCardinal(); typeString(); typeCardinal(); typeEOL(); }
EVassert() { send(); }
EVreset() { }
EVtest() { }
EVwait() { wait(); }
extractClass() { }
find() { nuc_switch(); kerout(); kerout(); }
findIndexSlot() { addc32(); result = cmpCard32(); result = cacheGet(); cacheRel(); result = incc32(); }
findUnusedOd() { }
find_slot() { typeVarl(); typeLine(); typeString(); typeVarl(); clear_ref(); swap_seg(); }
fl_restore() { }
fl_save() { }
GATcode() { }
GATjump() { kerout(); }
GAToutward() { MAPinitMap(); typeSCH(); typeString(); typeCardinal(); typeString(); typeCardinal(); typeString(); typeInteger(); typeLine(); GATjump(); typeString(); typeCardinal(); typeString(); typeCardinal(); typeString(); typeInteger(); typeLine(); }
generateIndexItem() { result = findIndexSlot(); result = getKind(); result = cacheRewrite(); }
gen_res() { }
gen_save() { }
getAllocItem() { result = incc32(); result = getKind(); result = cacheRewrite(); result = incc32(); result = getKind(); moveItem(); result = cacheRewrite(); }
getBlockAddress() { blockTree(); result = indirectI(); result = getKind(); cacheRel(); }
getEnode() { IODK_device_function(); result = calcCheck(); }
getFreeBlock() { result = getAllocItem(); mulc32(); result = incc32(); result = cmpCard32(); }
getJnode() { result = IOFdecomposeSeid(); result = cacheGet(); moveItem(); cacheRel(); }
getKind() { result = cacheGet(); cacheRel(); }
getPoftItem() { }
getreq() { SCHsemV(); SIGsemV(); SIGsemP(); }
getSubtypeItem() { result = getPoftItem(); }
get_baseds() { }
get_object_level() { result = get_tii(); result = SACcheck(); }
get_pc() { }
get_tii() { typeLine(); result = STRgetTii(); result = STMGgetTii(); result = call_priv(); result = IOCtiiAccess(); SACaudit(); }
hstop() { stop(); }
incc32() { addssd(); addssd(); }
indirectI() { itemTree(); result = indirectI(); result = getKind(); cacheRel(); }
init_queue_item() { result = SCHsemInit(); SIGsemInit(); }
insert() { instnk(); }
instnk() { }
insureBlock() { result = getBlockAddress(); result = getFreeBlock(); result = setBlockAddress(); result = cmpCard32(); addc32(); }
insureIndirectI() { result = indirectI(); itemTree(); result = insureIndirectI(); result = generateIndexItem(); result = setIndirectP(); }
INVcopyStack() { }
INVfork() { typeLine(); result = INVpassFork(); result = equ_seid(); SWPputPcs(); result = SMPCfork(); IOCfork(); typeLine(); INVgrant(); typeString(); typeInteger(); typeString(); typeInteger(); typeLine(); }
INVgenFork() { result = PSDcreate(); typeLine(); typeString(); typeInteger(); typeLine(); }
INVgrant() { typeLine(); SCHuserGrant(); }
INVinvoke() { result = SMPCinvoke(); INVsetup(); }
INVpassFork() { typeLine(); result = INVgenFork(); SWPgetPcs(); INVcopyStack(); }
INVsetup() { typeLine(); typeCardinal(); typeString(); typeCardinal(); typeString(); typeCardinal(); typeLine(); result = STRgetTii(); result = STMGgetTii(); result = STRsetTii(); }
INVspawn() { result = INVpassFork(); result = equ_seid(); SWPputPcs(); result = SMPCspawn(); typeLine(); INVgrant(); INVsetup(); }
IOCclose_all() { result = IOCK_close(); }
IOCfork() { result = IOFforkCount(); result = IOEforkCount(); result = IODforkCount(); }
IOCinfoAccess() { result = extractClass(); result = IOFinfoAccess(); result = IOEinfoAccess(); result = IODinfoAccess(); }
IOCK_close() { result = getPoftItem(); result = IOFK_close(); result = IOEK_close(); result = IODK_close(); setPoftItem(); }
IOCK_create() { result = checkBadModes(); result = getSubtypeItem(); result = findUnusedOd(); result = IOFK_create(); setPoftItem(); }
IOCK_device_function() { result = getPoftItem(); result = checkOmode(); IOFK_device_function(); IOEK_device_function(); IODK_device_function(); }
IOCK_get_file_status() { result = getSubtypeItem(); result = IOCinfoAccess(); result = IOSaccessCheck(); }
IOCK_open() { result = checkBadModes(); result = extractClass(); result = getSubtypeItem(); result = findUnusedOd(); result = IOCinfoAccess(); result = IOSaccessCheck(); result = IOFK_open(); result = IOEK_open(); result = IODK_open(); setPoftItem(); result = IOCinfoAccess(); }
IOCK_read_block() { result = IOCK_device_function(); }
IOCK_write_block() { result = IOCK_device_function(); }
IOCtiiAccess() { result = IOCinfoAccess(); result = IOCinfoAccess(); }
IOCtranquilCheck() { result = equ_seid(); }
IODarmInt() { }
IODerrorReport() { typeString(); typeChar(); typeChar(); typeCardinal(); typeChar(); typeCardinal(); typeString(); typeString(); typeString(); typeString(); typeString(); typeString(); typeString(); typeString(); typeCardinal(); typeChar(); typeString(); typeBits(); typeLine(); }
IODforkCount() { result = IOUopenCountCheck(); }
IODinfoAccess() { result = IODlookupSeid(); mulc32(); }
IODK_close() { IOTfinishInputWait(); IOUcloseCount(); }
IODK_device_function() { IOTfast_functions(); putreq(); }
IODK_open() { result = IODlookupSeid(); result = IOUopenCountCheck(); }
IODlookupSeid() { }
IODnewCtl() { result = IODtest_bus(); SIGsemInit(); }
IODnewDevice() { IODnewUnit(); IODnewQueues(); IODnewOpens(); }
IODnewDuplexDevice() { IODnewUnit(); IODnewQueues(); IODnewUnit(); IODnewQueues(); IODnewOpens(); }
IODnewOpens() { }
IODnewQueues() { init_queue_item(); }
IODnewTerminal() { IODnewDuplexDevice(); init_queue_item(); SIGsemInit(); SIGsemInit(); addc32(); }
IODnewUnit() { SIGsemInit(); SIGsemInit(); SIGsemInit(); SIGsemInit(); }
IODsetUnibusMap() { }
IODswitch_path() { result = SCHsemPdec(); SCHsemV(); }
IODtest_bus() { try_read(); }
IODunibusMapAllocate() { }
IODunibusMapAttach() { mulc32(); }
IODwait() { wait(); }
IOEabs_device_function() { IOEK_device_function(); }
IOEforkCount() { result = IOUopenCountCheck(); }
IOEinfoAccess() { SIGsemP(); result = IODK_open(); result = getEnode(); mulc32(); result = IODK_close(); SIGsemV(); }
IOEK_close() { IOUcloseCount(); result = IODK_close(); }
IOEK_device_function() { result = incc32(); result = cmpCard32(); addc32(); IODK_device_function(); }
IOEK_open() { result = IODK_open(); result = getEnode(); result = IODK_close(); result = IOUopenCountCheck(); }
IOFcomposeSeid() { }
IOFdecomposeSeid() { result = cmpCard32(); }
IOFforkCount() { result = IOUopenCountCheck(); }
IOFinfoAccess() { IOFlock_everything(); result = getJnode(); result = searchIOFopen(); mulc32(); subc32(); result = cacheRewrite(); cacheRel(); IOFunlock_everything(); }
IOFK_close() { IOFlock_everything(); IOUcloseCount(); result = getKind(); moveItem(); result = cacheRewrite(); result = deletionCheck(); IOFunlock_everything(); }
IOFK_create() { IOFlock_everything(); result = IOFdecomposeSeid(); result = IOSaccessCheck(); result = random(); result = random(); result = findIndexSlot(); result = IOFnewOpen(); result = getKind(); result = STRgetTii(); result = cacheRewrite(); IOFcomposeSeid(); result = IOUopenCountCheck(); IOFunlock_everything(); }
IOFK_device_function() { blockIo(); divc32(); result = incc32(); result = cmpCard32(); IOFlock_everything(); result = relFile(); IOFunlock_everything(); }
IOFK_link() { IOFlock_everything(); result = getJnode(); result = IOSaccessCheck(); result = cacheRewrite(); cacheRel(); IOFunlock_everything(); }
IOFK_mount() { IOFlock_everything(); result = IOSprivilegeCheck(); result = IOEK_open(); result = getKind(); moveItem(); divc32(); result = cacheRewrite(); cacheRel(); result = IOEK_close(); cacheClear(); IOFunlock_everything(); }
IOFK_open() { result = getJnode(); result = searchIOFopen(); result = IOFnewOpen(); result = IOUopenCountCheck(); result = IOUopenCountCheck(); result = cacheRewrite(); cacheRel(); }
IOFK_unlink() { IOFlock_everything(); result = getJnode(); result = IOSaccessCheck(); result = cacheRewrite(); result = searchIOFopen(); result = deletionCheck(); cacheRel(); IOFunlock_everything(); }
IOFK_unmount() { IOFlock_everything(); result = IOSprivilegeCheck(); result = getAllocItem(); result = getKind(); moveItem(); result = cacheRewrite(); cacheClear(); result = IOEK_close(); IOFunlock_everything(); }
IOFlock_everything() { SIGsemP(); SIGsemP(); }
IOFnewOpen() { result = searchIOFopen(); }
IOFunlock_everything() { SIGsemV(); SIGsemV(); }
IOSaccessCheck() { result = IOSprivilegeCheck(); result = SACcheck(); result = equ_seid(); }
IOSprivilegeCheck() { result = STRgetTii(); result = test_priv(); }
IOTenqueueChar() { typeString(); typeChar(); typeString(); typeCardinal(); typeLine(); result = IOTswitch(); SIGsemV(); SIGsemP(); typeLine(); }
IOTfast_functions() { result = MESasynchRequest(); result = SCHsemPdec(); SCHsemV(); IOTfinishInputWait(); result = IOTswitch(); }
IOTfinishInputWait() { MESasynchCompletion(); }
IOTswitch() { IODswitch_path(); IODswitch_path(); }
IOUcloseCount() { }
IOUopenCountCheck() { }
itemTree() { }
kerout() { instnk(); find(); }
KPRpcsInitialize() { get_pc(); }
kset_priv() { result = get_tii(); result = call_priv(); set_tii(); }
KSMpcsInitialize() { }
K_AUDIT() { SIGsemP(); DEVdelayCancel(); }
locate() { result = equ_seid(); result = equ_seid(); result = equ_seid(); result = equ_seid(); }
lock() { SIGsemP(); result = locate(); append(); result = equ_seid(); append(); SIGsemV(); DEVdelay(); SIGsemP(); result = locate(); remove(); SIGsemV(); }
makec32() { }
MAPadjustKSP() { result = MAPnucleusToIndex(); typeLine(); typeString(); typeCardinal(); typeLine(); typeString(); typeInteger(); result = MAPnucleusToUser(); MAPpushGate(); }
MAPfindMapIndex() { }
MAPgatAdr() { }
MAPgetPD() { }
MAPinitMap() { pp_get(); result = MAPnucleusToIndex(); SIGsemV(); SIGsemP(); typeLine(); }
MAPnucleusToIndex() { }
MAPnucleusToUser() { result = MAPnucleusToIndex(); result = MAPfindMapIndex(); }
MAPpush() { }
MAPpushGate() { typeLine(); MAPgatAdr(); SWPprocMapIn(); MAPpush(); SWPmapOut(); typeString(); typeCardinal(); typeLine(); }
MAPresetMap() { MAPresetOther(); typeString(); typeInteger(); typeLine(); }
MAPresetOther() { SIGsemP(); send(); SIGsemV(); SIGsemP(); }
MAPsetGate() { result = MAPuserToIndex(); MAPpushGate(); }
MAPuserToIndex() { result = equ_seid(); }
map_mem() { }
MEMadrValidate() { result = VMMGblockTest(); }
MEMclearBlock() { map_mem(); clear_block(); remap_mem(); }
MEMclearMem() { result = MEMgetAdr(); MEMclearPhys(); }
MEMclearPhys() { mem_convert(); map_mem(); clear_block(); remap_mem(); }
MEMcoerceIoFunct() { typeString(); typeCardinal(); typeEOL(); }
MEMcoerceOM() { typeString(); typeCardinal(); typeCardinal(); typeCardinal(); typeCardinal(); typeEOL(); }
MEMcoercePBlock() { result = MEMcoerceVloc(); typeString(); typeCardinal(); typeCardinal(); typeCardinal(); typeCardinal(); typeEOL(); }
MEMcoercePstatus() { result = call_priv(); }
MEMcoerceSeid() { result = equ_seid(); typeString(); typeCardinal(); typeCardinal(); typeCardinal(); typeEOL(); }
MEMcoerceSstatus() { result = MEMcoerceVloc(); typeString(); typeCardinal(); typeCardinal(); typeCardinal(); typeEOL(); }
MEMcoerceVloc() { }
MEMgetAdr() { result = VMMGblockTrans(); }
MEMread() { result = MEMgetAdr(); MEMreadPhys(); }
MEMreadParam() { result = MEMread(); result = MEMread(); }
MEMreadPhys() { mem_convert(); read_acc(); }
MEMwrite() { result = MEMgetAdr(); MEMwritePhys(); }
MEMwriteParam() { result = MEMwrite(); }
MEMwritePhys() { mem_convert(); write_acc(); }
mem_convert() { }
MESasynchCompletion() { result = STRpseidVerify(); MESqueueAdd(); PSEpseudoInt(); }
MESasynchRequest() { SIGsemP(); MESrelief(); SIGsemV(); }
MESauditReceive() { result = equ_seid(); SIGsemV(); }
MESempty() { MESemptyQueue(); MESemptyQueue(); }
MESemptyQueue() { MESqueueDelete(); MESqueueAdd(); }
MESgetBlock() { }
MESnodeAllocate() { }
MESnodeDeallocate() { }
MESqueueAdd() { result = MESnodeAllocate(); MESgetBlock(); MESsetBlock(); MESsetBlock(); }
MESqueueDelete() { MESgetBlock(); MESnodeDeallocate(); }
MESqueueGet() { SWPprocMapIn(); MESqueueDelete(); SWPmapOut(); MESqueueDelete(); }
MESrelief() { result = STRuptSeid(); SWPgetPcs(); SWPputPcs(); }
MESsetBlock() { }
moveItem() { }
moveMem() { MEMreadPhys(); MEMwritePhys(); result = incc32(); result = incc32(); }
move_mem() { }
mul32() { }
mulc32() { result = mul32(); }
nonker() { nuc_save(); }
notify() { result = locate(); remove(); append(); DEVdelayCancel(); }
nucl() { CPUtype(); adrppt(); sizppt(); numppt(); setend(); init(); }
nuc_save() { save(); }
nuc_switch() { PSEpseudoPending(); typeString(); typeOctal(); typeString(); typeOctal(); typeEOL(); result = equ_seid(); SCHlowSchedulingRequest(); result = equ_seid(); typeString(); typeCardinal(); typeString(); typeCardinal(); typeString(); typeCardinal(); typeLine(); typeString(); typeOctal(); typeString(); typeOctal(); typeEOL(); switch(); }
numppt() { }
OSALalloc() { }
OSALfree() { }
OSALinitialize() { }
owner_check() { result = STRgetTii(); result = test_priv(); }
pcal() { callpd(); insert(); adjust(); cont(); }
PCSsanitize() { clear(); KPRpcsInitialize(); KSMpcsInitialize(); }
pdr_save() { }
pexi() { find(); }
pp_get() { }
proc_remove() { result = locate(); remove(); notify(); }
PSDcreate() { SACaudit(); result = random(); result = random(); result = STRuptSeid(); SWPgetPcs(); SWPputPcs(); }
PSDdelete() { SIGsemP(); SIGsemV(); wait(); }
PSDfatal() { typeString(); typeInteger(); typeLine(); PSDkcallCancel(); MAPsetGate(); typeSCH(); }
PSDgetStatus() { result = PSDsecure(); result = equ_seid(); }
PSDkcallCancel() { result = STRpseidVerify(); DEVdelayCancel(); SCHsemPbreak(); }
PSDksignal() { result = call_priv(); result = PSDsecure(); typeLine(); typeLine(); DEVdelay(); typeLine(); SIGsemP(); typeLine(); SWPgetPcs(); SWPputPcs(); typeLine(); PSEpseudoInt(); SIGsemV(); }
PSDnap() { DEVdelay(); }
PSDpost() { result = PSDsecure(); SACaudit(); result = STRpseidVerify(); SWPgetPcs(); MESqueueAdd(); SWPputPcs(); MESqueueAdd(); DEVdelayCancel(); PSEpseudoInt(); }
PSDreceive() { result = MESauditReceive(); result = MESqueueGet(); result = PSEpendingLevel(); DEVdelay(); result = MESauditReceive(); result = MESqueueGet(); }
PSDrelease() { result = PSDsecure(); result = STRgetTii(); result = owner_check(); SACaudit(); }
PSDsecure() { result = STRgetTii(); result = SACcheck(); }
PSDsetStatus() { result = PSDrelease(); result = call_priv(); DEVtimer(); DEVtimer(); DEVsetClock(); result = equ_seid(); PSprotect(); }
PSDwalk_process_table() { result = call_priv(); result = STRuptSeid(); }
PSEpendingLevel() { }
PSEpseudoGen() { typeLine(); typeLine(); result = MEMread(); PSDfatal(); SWPprocMapIn(); typeString(); typeOctal(); typeOctal(); typeCardinal(); SWPmapOut(); typeString(); typeCardinal(); typeLine(); PSDfatal(); typeOctal(); typeOctal(); typeCardinal(); typeString(); typeCardinal(); typeLine(); PSprevious(); PSprotect(); SWPmapOut(); result = MEMwrite(); PSDfatal(); }
PSEpseudoInt() { PSDkcallCancel(); }
PSEpseudoPending() { result = MEMadrValidate(); result = PSEpendingLevel(); result = MESqueueGet(); DEVtimeStamp(); result = MESqueueGet(); SWPprocMapIn(); SWPmapOut(); PSEpseudoGen(); }
PSEpseudoReturn() { typeLine(); result = MEMread(); typeString(); typeCardinal(); typeString(); typeCardinal(); typeLine(); PSprotect(); typeString(); typeCardinal(); typeLine(); result = PSEsetPseLev(); }
PSEsetPseLev() { }
PSMGassignEntry() { result = PUALalloc(); }
PSMGchooseEntry() { result = PUALselect(); }
PSMGremoveEntry() { result = PUALfree(); }
PSprevious() { }
PSprotect() { }
PUALalloc() { }
PUALfree() { }
PUALinitialize() { }
PUALmove() { }
PUALselect() { }
PUALverify() { }
putecho() { SIGsemP(); SIGsemV(); SIGsemP(); SIGsemV(); }
putFreeBlocks() { decomposeBlockNumber(); result = getAllocItem(); }
putreq() { result = validateRequest(); result = SCHsemP(); SIGsemP(); result = VMMGlockBlock(); result = MESasynchRequest(); SIGsemP(); SIGsemV(); SIGsemP(); SIGsemV(); VMMGunlockBlock(); SCHsemV(); SIGsemV(); }
QUEhelpSearch() { }
QUEinsertElement() { result = QUEprioSearch(); SIGsemV(); }
QUEnextReady() { SIGsemP(); result = STRuptSeid(); QUEremoveElement(); }
QUEprioSearch() { }
QUEremoveElement() { }
QUEswapHelp() { result = QUEhelpSearch(); result = QUEhelpSearch(); SIGsemP(); QUEremoveElement(); QUEinsertElement(); }
random() { }
readSlots() { result = cmpCard32(); IOEK_device_function(); result = calcCheck(); typeLine(); }
read_acc() { map_mem(); move_mem(); remap_mem(); }
relFile() { result = getKind(); moveItem(); moveItem(); result = scrubTable(); result = cacheRewrite(); result = putFreeBlocks(); result = relSubtrees(); }
relIndexSlot() { result = cacheRewrite(); }
relSubtrees() { result = getKind(); moveItem(); result = scrubTable(); result = relIndexSlot(); result = putFreeBlocks(); IOFunlock_everything(); IOFlock_everything(); result = relSubtrees(); }
remap_mem() { }
remove() { }
SACaudit() { }
SACcheck() { result = STRgetTii(); result = SMXflow(); result = SMXdap(); SACaudit(); }
save() { STKsp_save(); sp_save(); gen_save(); fl_save(); pdr_save(); pdr_save(); pdr_save(); pdr_save(); }
SCHaddToWait() { begdb(); typeVarl(); enddb(); QUEremoveElement(); QUEinsertElement(); SPADfreeToSwap(); SCHsegmentFree(); send(); MAPresetMap(); }
SCHeligGrant() { begdb(); typeVarl(); enddb(); QUEinsertElement(); }
SCHlowSchedulingRequest() { begdb(); typeVarl(); enddb(); set_delta(); SCHaddToWait(); }
SCHprimGrant() { QUEinsertElement(); }
SCHprimWaitGrant() { QUEremoveElement(); QUEinsertElement(); }
SCHreschedule() { begdb(); typeVarl(); enddb(); set_delta(); QUEinsertElement(); }
SCHsegmentFree() { begdb(); typeLine(); enddb(); send(); }
SCHsegSwapRequest() { begdb(); typeVarl(); enddb(); set_delta(); SCHaddToWait(); }
SCHsemInit() { }
SCHsemP() { result = SCHsemPdec(); SCHaddToWait(); }
SCHsemPbreak() { result = STRpseidVerify(); SCHuserGrant(); SCHprimWaitGrant(); }
SCHsemPdec() { sem_validate(); }
SCHsemV() { sem_validate(); result = STRuptSeid(); SCHuserGrant(); SCHprimWaitGrant(); }
SCHswapHelp() { begdb(); typeVarl(); enddb(); result = QUEswapHelp(); wait(); result = STRuptSeid(); SWPpcsFree(); begdb(); typeVar(); typeCardinal(); typeEOL(); enddb(); }
SCHuserGrant() { begdb(); typeVarl(); enddb(); QUEremoveElement(); QUEinsertElement(); }
scrubTable() { addc32(); IOEK_device_function(); }
searchIOFopen() { }
segseid() { }
sem_validate() { }
send() { dcon(); insert(); cont(); }
setBlockAddress() { blockTree(); result = insureIndirectI(); result = getKind(); moveItem(); result = cacheRewrite(); }
setend() { }
setIndirectP() { itemTree(); result = indirectI(); result = getKind(); moveItem(); result = cacheRewrite(); }
setPoftItem() { }
set_da() { result = get_tii(); result = owner_check(); result = SACcheck(); set_tii(); }
set_delta() { begdb(); typeVar(); enddb(); }
set_object_level() { result = get_tii(); result = call_priv(); set_tii(); }
set_priv() { }
set_real_id() { }
set_tii() { typeLine(); result = STRsetTii(); result = SMCLsetSegmentLevel(); result = IOCtiiAccess(); }
shouldType() { }
SIGawaited() { }
SIGsemInit() { }
SIGsemP() { wait(); }
SIGsemV() { send(); }
SIRHbuild() { result = STRgetTii(); result = test_priv(); result = test_priv(); result = SIRHmacAcc(); result = SIRHbuildSupport(); }
SIRHbuildSupport() { result = STMGassignEntry(); result = OSALalloc(); }
SIRHdelete() { SWEfreeMem(); SWEfreeSwap(); STMGremoveEntry(); }
SIRHmacAcc() { }
SIRHpcsBuild() { result = SIRHbuildSupport(); }
sizppt() { }
SMCLboot() { result = SMCLreleaseSegmentSupport(); SWPgetPcs(); result = VMMGmapTest(); VMMGsetup(); SWPputPcs(); SCHsegSwapRequest(); }
SMCLbuildSegment() { result = SMCLbuildSegmentSupport(); SCHsegSwapRequest(); }
SMCLbuildSegmentSupport() { SIGsemP(); result = SIRHbuild(); SWPgetPcs(); result = SURHattach(); SWPputPcs(); SIRHdelete(); SWPgetPcs(); result = VMMGmapTest(); SURHmapIn(); SURHdetach(); SWPputPcs(); SIRHdelete(); SWPgetPcs(); SWPputPcs(); SWPputPcs(); SIGsemV(); }
SMCLgetSegmentStatus() { result = STMGseidIndex(); SWPgetPcs(); result = SMCLlocateSegment(); SWPputPcs(); result = SACcheck(); SMCLgetSegmentStatusSupport(); }
SMCLgetSegmentStatusSupport() { }
SMCLinitialSegment() { result = SMCLbuildSegmentSupport(); SPADrecord(); }
SMCLlocateSegment() { }
SMCLreleaseProcess() { result = SMCLreleaseSegmentSupport(); SCHsegmentFree(); }
SMCLreleaseSegment() { result = SMCLreleaseSegmentSupport(); SCHsegmentFree(); }
SMCLreleaseSegmentSupport() { SMEAreleaseSegment(); SIGsemP(); SWPgetPcs(); SURHmapOut(); SURHdetach(); SWPputPcs(); SIRHdelete(); SIGsemV(); SCHsegmentFree(); }
SMCLremap() { SWPgetPcs(); result = SACcheck(); result = VMMGmapTest(); SWPputPcs(); SWPgetPcs(); SURHmapOut(); SWPputPcs(); SIGsemP(); SWEfreeSwap(); result = OSALalloc(); SWEswapOut(); result = OSALalloc(); SWEswapOut(); SIGsemV(); SCHsegmentFree(); SWPgetPcs(); SURHmapIn(); SWPputPcs(); SCHsegSwapRequest(); }
SMCLrendezvousSegment() { result = STMGseidIndex(); result = SACcheck(); SWPgetPcs(); result = SMCLrendezvousSegmentSupport(); SWPputPcs(); SWPputPcs(); SCHsegSwapRequest(); }
SMCLrendezvousSegmentSupport() { result = STMGseidIndex(); result = SMCLlocateSegment(); result = SURHattach(); result = VMMGmapTest(); SURHmapIn(); SURHdetach(); }
SMCLsetSegmentLevel() { result = STMGseidIndex(); result = SIRHmacAcc(); result = call_priv(); }
SMCLsetSegmentStatus() { result = STMGseidIndex(); SIGsemP(); SWPgetPcs(); result = SMCLlocateSegment(); SWPputPcs(); result = SACcheck(); result = call_priv(); result = call_priv(); SIGsemV(); }
SMEAlock() { result = segseid(); result = SACcheck(); result = lock(); }
SMEAreleaseProcess() { SIGsemP(); proc_remove(); proc_remove(); SIGsemV(); }
SMEAreleaseSegment() { result = segseid(); SIGsemP(); result = locate(); remove(); notify(); SIGsemV(); }
SMEAunlock() { result = segseid(); result = unlock(); }
SMPCfork() { SIGsemP(); result = createAndCopyInstance(); SWPgetPcs(); createAndCopyUse(); VMMGsetup(); SWPputPcs(); SIGsemV(); }
SMPCinvoke() { result = SMCLreleaseSegment(); SIGsemP(); result = attachImm(); SIGsemV(); SCHsegSwapRequest(); }
SMPCspawn() { SIGsemP(); result = createAndCopyInstance(); SWPgetPcs(); createAndCopyUse(); SWPputPcs(); result = attachImm(); SIGsemV(); }
SMXdap() { result = test_priv(); result = test_priv(); }
SMXflow() { result = test_priv(); result = sub_cpt(); result = test_priv(); result = test_priv(); result = sub_cpt(); result = test_priv(); }
SPADalMem() { result = OSALalloc(); }
SPADfindMem() { result = SPADalMem(); SIGsemP(); SWEswapOut(); result = SPADalMem(); SIGsemV(); result = SCHswapHelp(); result = SPADsop(); }
SPADfreeToSwap() { VMMGmakeSwapSafe(); }
SPADnotFreeToSwap() { SWPgetPcs(); SWPputPcs(); }
SPADrealize() { SWPgetPcs(); VMMGloadAddress(); SWPputPcs(); result = SPADfindMem(); SIGsemP(); SWEswapIn(); SIGsemV(); SWPgetPcs(); VMMGloadAddress(); SWPgetPcs(); SPADfreeToSwap(); SWPputPcs(); SWPputPcs(); result = SPADsop(); }
SPADrecord() { SWPgetPcs(); VMMGloadAddress(); SWPputPcs(); SPADnotFreeToSwap(); }
SPADsop() { SIGsemP(); SWPgetPcs(); SPADfreeToSwap(); SWPputPcs(); SWEswapOut(); result = SPADalMem(); SWPgetPcs(); SWPputPcs(); SIGsemV(); }
SPADuseMem() { result = OSALalloc(); }
sp_res() { }
sp_save() { }
STKsp_res() { }
STKsp_save() { }
STMGassignEntry() { result = PUALalloc(); }
STMGgetTii() { result = STMGseidIndex(); }
STMGremoveEntry() { result = PUALfree(); }
STMGseidIndex() { result = equ_seid(); }
stop() { error_print(); }
STRgetTii() { result = STRpseidVerify(); }
STRpseidVerify() { }
STRsetTii() { result = STRpseidVerify(); }
STRuptSeid() { }
subc32() { result = cmpCard32(); }
subs() { stop(); }
sub_cpt() { }
SURHattach() { result = PSMGassignEntry(); }
SURHdetach() { PSMGremoveEntry(); }
SURHmapIn() { VMMGsetup(); }
SURHmapOut() { VMMGmakeSwapSafe(); VMMGreset(); }
swap_seg() { typeString(); typeString(); typeString(); typeCardinal(); typeEOL(); SIGsemP(); SIGsemV(); SIGsemP(); SIGsemV(); }
SWEclearSwap() { addc32(); result = IOEabs_device_function(); }
SWEfreeMem() { MEMclearBlock(); result = OSALfree(); }
SWEfreeSwap() { SWEclearSwap(); result = OSALfree(); }
SWEmoveIn() { result = STMGseidIndex(); cv_blkad_bytad(); result = IOEabs_device_function(); }
SWEmoveOut() { result = STMGseidIndex(); cv_blkad_bytad(); result = IOEabs_device_function(); }
SWEswapIn() { SWEmoveIn(); SIRHdelete(); SWEmoveIn(); SWEmoveOut(); }
SWEswapOut() { SWEmoveOut(); SWEfreeMem(); }
switch() { STKsp_res(); sp_res(); gen_res(); fl_restore(); }
SWPfree() { SIGsemP(); typeVarl(); typeLine(); SWPmapIn(); PCSsanitize(); SWPmapOut(); clear_ref(); typeVarl(); typeVarl(); send(); typeVarl(); SIGsemV(); }
SWPgetPcs() { result = STRpseidVerify(); SWPmoveIn(); SWPmapIn(); }
SWPmapIn() { typeLine(); SIGsemP(); typeChar(); }
SWPmapOut() { typeChar(); SIGsemV(); typeLine(); }
SWPmoveIn() { SIGsemP(); SWPpcsRealize(); typeChar(); }
SWPmoveOut() { typeChar(); SWPfree(); SIGsemV(); }
SWPpcsFree() { SWPfree(); SIGsemV(); }
SWPpcsRealize() { typeVarl(); typeVarl(); result = STRuptSeid(); SIGsemP(); find_slot(); SWPmapIn(); MESempty(); SWPmapOut(); SIGsemV(); wait(); typeVarl(); typeVarl(); typeVarl(); SIGsemV(); }
SWPprocMapIn() { SWPmapIn(); }
SWPputPcs() { SWPmapOut(); SWPmoveOut(); }
testBlock() { SWPprocMapIn(); result = VMMGsegRange(); SWPmapOut(); }
test_priv() { }
timeoutCheck() { send(); }
transAddr() { addc32(); }
try_read() { }
typeBasic() { result = shouldType(); typeChar(); typeChar(); }
typeBits() { typeBasic(); }
typeBoolean() { typeByte(); }
typeByte() { typeBasic(); }
typeCall() { typeCardinal(); typeString(); typeString(); }
typeCardinal() { typeBasic(); }
typeChar() { result = shouldType(); }
typeEOL() { typeChar(); typeChar(); }
typeInteger() { result = shouldType(); typeString(); typeChar(); typeBasic(); }
typeLine() { typeString(); typeEOL(); }
typeMemFree() { }
typeOctal() { typeChar(); typeBasic(); }
typeParams() { typeOctal(); typeOctal(); typeChar(); typeEOL(); typeEOL(); }
typeSCH() { result = STRuptSeid(); typeString(); typeCardinal(); typeString(); typeInteger(); typeLine(); }
typeSeid() { typeByte(); typeByte(); typeCardinal(); }
typeStorageMap() { }
typeString() { result = shouldType(); typeChar(); }
typeVar() { typeString(); typeCardinal(); }
typeVarl() { typeVar(); typeEOL(); }
unlock() { SIGsemP(); result = locate(); remove(); notify(); SIGsemV(); }
U_AUDIT() { result = equ_seid(); result = SCHsemP(); K_AUDIT(); SCHsemV(); }
validateRequest() { result = incc32(); result = cmpCard32(); }
VMMGblockTest() { result = testBlock(); }
VMMGblockTrans() { result = testBlock(); transAddr(); }
VMMGestabMmu() { }
VMMGloadAddress() { result = VMMGsegRange(); }
VMMGlockBlock() { addc32(); result = testBlock(); transAddr(); }
VMMGmakeSwapSafe() { typeSeid(); typeEOL(); typeInteger(); typeEOL(); typeInteger(); typeEOL(); typeSeid(); typeEOL(); typeBits(); typeEOL(); typeInteger(); typeEOL(); typeInteger(); }
VMMGmapTest() { result = VMMGsegRange(); }
VMMGreset() { }
VMMGsegRange() { }
VMMGsetup() { result = VMMGsegRange(); VMMGestabMmu(); VMMGestabMmu(); VMMGestabMmu(); VMMGloadAddress(); }
VMMGunlockBlock() { result = STMGseidIndex(); SCHsegmentFree(); }
wait() { find(); }
wait_pse() { wait(); }
writeSlots() { IOEK_device_function(); }
write_acc() { map_mem(); move_mem(); remap_mem(); }
