LtDrPadIO:
TYPE =
RECORD [
-- default must be zero
iPReject: BOOL ← FALSE,
iPFaulting: BOOL ← FALSE,
newFetch: BOOL ← FALSE,
reset: BOOL ← FALSE,
reschedule: BOOL ← FALSE ];
RtDrPadIO:
TYPE =
RECORD [
dPReject: BOOL ← FALSE,
dPFault: Dragon1.PBusFaults ← none,
dPFaultCode: Dragon1.PBusFaultCode ← LOOPHOLE[0],
dPFaultCodeD: Dragon1.PBusFaultCode ← LOOPHOLE[0],
dPCmnd3: Dragon1.PBusCommands ← NoOp,
userMode2: BOOL ← FALSE,
eUAluOp2: Dragon1.ALUOps ← Or,
eUCondSel2: Dragon1.CondSelects ← False,
eUCondition2: BOOL ← FALSE,
eUWriteToPBus3: BOOL ← FALSE,
eURdFromPBus3: BOOL ← FALSE,
K0PadsIn4: BOOL ← FALSE,
K1PadsIn4: BOOL ← FALSE,
K0PadsOut3: BOOL ← FALSE,
K1PadsOut3: BOOL ← FALSE,
X2ASrcLit1: BOOL ← FALSE,
X2ASrcLit2: BOOL ← FALSE,
debugABGD: BOOL ← FALSE,
debugPC: BOOL ← FALSE,
debugLSC: BOOL ← FALSE,
debugABStLim: BOOL ← FALSE ];