Proof SYSTEM_TEST_STANDARD_LEAD_INS #641 (#667)

This commit is contained in:
Miguel Prada 2020-04-26 22:04:12 -05:00 committed by GitHub
parent 47d20df7df
commit 96fcbf7448
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -42,7 +42,7 @@
# THIS ROUTINE IS CALLABLE FROM ERASABLE OR FIXED. LIKE BANKCALL, HOWEVER, SWITCHING BETWEEN S3 AND S4 # THIS ROUTINE IS CALLABLE FROM ERASABLE OR FIXED. LIKE BANKCALL, HOWEVER, SWITCHING BETWEEN S3 AND S4
# IS NOT POSSIBLE. # IS NOT POSSIBLE.
# #
# THE CALLING SEQUENCE IS # THE CALLING SEQUENCE IS:
# #
# TC BANKCALL # TC BANKCALL
# CADR E/BKCALL # CADR E/BKCALL
@ -56,7 +56,7 @@
# #
# A + L ARE PRESERVED THROUGH BANKCALL AND E/BKCALL. # A + L ARE PRESERVED THROUGH BANKCALL AND E/BKCALL.
E/BKCALL DXCH BUF2 # SAVE A,L AND GET DP RETURN E/BKCALL DXCH BUF2 # SAVE A,L AND GET DP RETURN.
DXCH EBUF2 # SAVE DP RETURN. DXCH EBUF2 # SAVE DP RETURN.
INCR EBUF2 # RETURN +1 BECAUSE DOUBLE CADR. INCR EBUF2 # RETURN +1 BECAUSE DOUBLE CADR.
CA BBANK CA BBANK
@ -68,7 +68,7 @@ E/BKCALL DXCH BUF2 # SAVE A,L AND GET DP RETURN
# AND RESTORING A + L. # AND RESTORING A + L.
TC +4 # TX Q, V34, OR BAD STALL RETURN. TC +4 # TX Q, V34, OR BAD STALL RETURN.
TC +2 # PROCEED OR GOOD STALL RETURN. TC +2 # PROCEED OR GOOD STALL RETURN.
INCR EBUF2 # ENTER OR RECYCLE RETURN INCR EBUF2 # ENTER OR RECYCLE RETURN.
INCR EBUF2 INCR EBUF2
E/SWITCH DXCH EBUF2 E/SWITCH DXCH EBUF2
DTCB DTCB
@ -80,7 +80,7 @@ E/SWITCH DXCH EBUF2
# #
# RTB # RTB
# E/CALL # E/CALL
# CADR ROUTINE # THE INTERPRETIVE SUBROUTINE YOU WANT # CADR ROUTINE # THE INTERPRETIVE SUBROUTINE YOU WANT.
# # RETURNS HERE IN INTERPRETIVE. # # RETURNS HERE IN INTERPRETIVE.
E/CALL LXCH LOC # ADRES -1 OF CADR. E/CALL LXCH LOC # ADRES -1 OF CADR.
@ -91,7 +91,7 @@ E/CALL LXCH LOC # ADRES -1 OF CADR.
DXCH EBUF2 # STORE CADR AND RETURN DXCH EBUF2 # STORE CADR AND RETURN
TC INTPRET TC INTPRET
CALL CALL
EBUF2 # INDIRECTLY EXECUTE ROUTING. IT MUST EBUF2 # INDIRECTLY EXECUTE ROUTINE. IT MUST
EXIT # LEAVE VIA RVQ OR EQUIVALENT. EXIT # LEAVE VIA RVQ OR EQUIVALENT.
LXCH EBUF2 +1 # PICK UP RETURN. LXCH EBUF2 +1 # PICK UP RETURN.
TCF INTPRET +2 # SET LOC AND RETURN TO CALLER. TCF INTPRET +2 # SET LOC AND RETURN TO CALLER.
@ -101,7 +101,7 @@ E/CALL LXCH LOC # ADRES -1 OF CADR.
# #
# THIS ROUTINE MUST BE CALLED IN INTERRUPT OR WITH INTERRUPTS INHIBITED. # THIS ROUTINE MUST BE CALLED IN INTERRUPT OR WITH INTERRUPTS INHIBITED.
# #
# THE CALLING SEQUENCE IS # THE CALLING SEQUENCE IS:
# #
# INHINT # INHINT
# ... # ...
@ -109,7 +109,7 @@ E/CALL LXCH LOC # ADRES -1 OF CADR.
# TC IBNKCALL # TC IBNKCALL
# CADR E/JOBWAK # CADR E/JOBWAK
# ... # RETURNS HERE # ... # RETURNS HERE
# RELINT # IF YOU DID AND INHINT # RELINT # IF YOU DID AND INHINT.
BANK 33 BANK 33
SETLOC E/PROG SETLOC E/PROG
@ -117,7 +117,7 @@ E/CALL LXCH LOC # ADRES -1 OF CADR.
COUNT* $$/P07 COUNT* $$/P07
E/JOBWAK TC JOBWAKE # ARRIVE WITH ADRES IN A. E/JOBWAK TC JOBWAKE # ARRIVE IWTH ADRES IN A.
CS BIT11 CS BIT11
NDX LOCCTR NDX LOCCTR
ADS LOC # KNOCK FIXED MEMORY BIT OUT OF ADRES. ADS LOC # KNOCK FIXED MEMORY BIT OUT OF ADRES.