Lines Matching defs:ENTRY
3449 (DEFUN BIG-CLOCK-ENTRY (ST) (NTH '5 ST))
3451 (DEFUN UPDATE-BIG-CLOCK-ENTRY (X ST) (UPDATE-NTH '5 X ST))
3953 DMR-START REWRITE-ENTRY
4125 (INTEGERP (BIG-CLOCK-ENTRY X))
4331 DMR-START REWRITE-ENTRY
4707 DMR-START REWRITE-ENTRY
5090 DMR-START REWRITE-ENTRY
5392 DMR-START REWRITE-ENTRY
6203 (ENTRY STATE-STATE X CHANNEL)
6208 (CAR ENTRY)
6220 (CDR ENTRY)))
6228 ((LAMBDA (ENTRY STATE-STATE X CHANNEL)
6231 (CONS (CAR ENTRY) (CONS X (CDR ENTRY)))
6239 ((LAMBDA (ENTRY STATE-STATE X CHANNEL)
6242 (CONS (CAR ENTRY) (CONS X (CDR ENTRY)))
6470 ((LAMBDA (ENTRY STATE-STATE CHANNEL)
6471 (CONS (CAR (CDR ENTRY))
6474 (CONS (CAR ENTRY) (CDR (CDR ENTRY)))
6483 ((LAMBDA (ENTRY) (CAR (CDR ENTRY)))
6489 ((LAMBDA (ENTRY STATE-STATE CHANNEL)
6490 (CONS (CAR (CDR ENTRY))
6493 (CONS (CAR ENTRY) (CDR (CDR ENTRY)))
6504 (ENTRY STATE-STATE CHANNEL)
6505 (IF (CDR ENTRY)
6507 (CONS (CAR (CDR ENTRY))
6510 (CONS (CAR ENTRY) (CDR (CDR ENTRY)))
6739 (< (BIG-CLOCK-ENTRY STATE-STATE) '0))
6742 (UPDATE-BIG-CLOCK-ENTRY (BINARY-+ '-1
6743 (BIG-CLOCK-ENTRY STATE-STATE))
7396 ((LAMBDA (ENTRY FLG)
7398 (CAR ENTRY)
7399 (CAR (CDR ENTRY))))
7410 ((LAMBDA (ENTRY FLG)
7412 (CAR ENTRY)
7413 (CAR (CDR ENTRY))))