;;-*- Mode:LISP; Package:LAMBDA; Readtable:ZL; Base:10 -*-
;; (c) Copyright 1983,1984,1985,1986 Lisp Machines, INC
;; DATA for the LISP->C translation of SDU-TRANSLATE-FILE.
;; 1/28/84 23:29:47 -George Carrette
;;

(defprop m-mem write-m-mem register-write-function)
(defprop m-mem read-m-mem register-read-function)

(defprop md read-md register-read-function)
(defprop md write-md register-write-function)

(defconst *default-utest-initializers* '(assure-noop-cleared-and-no-carryover))
(defconst *default-utest-postializers* '(assure-noop-cleared-and-no-carryover))

(DEFCONST *DEFAULT-UTEST-SWITCHES* '((*PARITY-ENABLE-LIST* NIL)))

(defprop assure-noop-cleared-and-no-carryover "ancnc" sdu-c-function)
(defprop load-straight-cram-adr-map "lscam" sdu-c-function)
(defprop setup-machine-to-start-at "Wpc" sdu-c-function)
(defprop enable-lambda "EL" sdu-c-function)
(defprop process-sleep "Sleep" sdu-c-function)
(defprop disable-lambda "DL" sdu-c-function)
(defprop read-pc "Rpc" sdu-c-function)
(defprop write-cram "Wcram" sdu-c-function)

(defprop write-m-mem "Wmmem"  sdu-c-function)
(defprop read-m-mem "Rmmem" sdu-c-function)

(defprop read-md "Rmd" sdu-c-function)
(defprop write-md "Wmd" sdu-c-function)


;; This is where Naha should add his data made by his "awk" stuff on the Unix.


(defprop at-uinst-boundary-p "uiboundaryp" sdu-c-function)
(defprop force-source-code-word "MkSoCdWd" sdu-c-function)
(defprop force-uinst-clock-low "MkuClLow" sdu-c-function)
(defprop lam-execute-r "le_r" sdu-c-function)
(defprop lam-execute-uinst-clock "le_uc" sdu-c-function)
(defprop lam-execute-uinst-clock-plus-uinst-clock-low "le_ucl" sdu-c-function)
(defprop lam-execute-w "le_w" sdu-c-function)
(defprop noop-p "NoopP" sdu-c-function)
(defprop noop-to-uinst-boundary "Nop2uInstB" sdu-c-function)
(defprop read-a-mem "Ramem" sdu-c-function)
(defprop read-aux-stat-counter "Rasc" sdu-c-function)
(defprop read-c-pi "Rcpi" sdu-c-function)
(defprop read-c-pp "Rcpp" sdu-c-function)
(defprop read-csm "Rcsm" sdu-c-function)
(defprop read-csm-adr "RcsmA" sdu-c-function)
(defprop read-csm-reg "RcsmR" sdu-c-function)
(defprop read-dp-mode "Rdpmode" sdu-c-function)
(defprop read-high-ireg "RHireg" sdu-c-function)
(defprop read-hptr "Rhptr" sdu-c-function)
(defprop read-l1-map "Rl1map" sdu-c-function)
(defprop read-low-ireg "RLireg" sdu-c-function)
(defprop read-pi "Rpi" sdu-c-function)
(defprop read-pp "Rpp" sdu-c-function)
(defprop read-q-reg "Rqreg" sdu-c-function)
(defprop read-stat-counter "Rsc" sdu-c-function)
(defprop read-tram "Rtram" sdu-c-function)
(defprop read-us "Rus" sdu-c-function)
(defprop read-usp "Rusp" sdu-c-function)
(defprop read-vma "Rvma" sdu-c-function)
(defprop sm-tick "smtick" sdu-c-function)
(defprop t-hold-p "THoldP" sdu-c-function)
(defprop uinst-clock-low-p "uClLowP" sdu-c-function)
(defprop write-a-mem "Wamem" sdu-c-function)
(defprop write-and-increment-pp "Wppi" sdu-c-function)
(defprop write-aux-stat-counter "Wasc" sdu-c-function)
(defprop write-c-pi "Wcpi" sdu-c-function)
(defprop write-c-pp "Wcpp" sdu-c-function)
(defprop write-csm "Wcsm" sdu-c-function)
(defprop write-csm-adr "WcsmA" sdu-c-function)
(defprop write-csm-reg-via-csmram "Wcsmreg" sdu-c-function)
(defprop write-dp-mode "Wdpmode" sdu-c-function)
(defprop write-high-ireg "WHireg" sdu-c-function)
(defprop write-hptr "Whptr" sdu-c-function)
(defprop write-ireg "Wireg" sdu-c-function)
(defprop write-low-ireg "WLireg" sdu-c-function)
(defprop write-l1-map "Wl1map" sdu-c-function)
(defprop write-pi "Wpi" sdu-c-function)
(defprop write-pp "Wpp" sdu-c-function)
(defprop write-q-reg "Wqreg" sdu-c-function)
(defprop write-stat-counter "Wsc" sdu-c-function)
(defprop write-tram "Wtram" sdu-c-function)
(defprop write-tram-adr "Wtramaddr" sdu-c-function)
(defprop write-treg-from-tram "Wtft" sdu-c-function)
(defprop write-usp "Wusp" sdu-c-function)
(defprop write-vma "Wvma" sdu-c-function)
(defprop zero-ireg "zireg" sdu-c-function)


;; additional functions for abetting general lisp->c translation.

(defprop identity "" sdu-c-function)

(defprop printf "printf" sdu-c-function)
(defprop exit "exit" sdu-c-function)


(defun hack-64-bit-arg (arg)
  (or (numberp arg) (flossage "not a constant number argument: ~S" arg))
  (list (logand #o37777777777 arg)
	(logand #o37777777777 (ash arg -32.))))


(defprop LAM-EXECUTE-R ("le_r" hack-64-bit-arg) sdu-c-function)
(defprop LAM-EXECUTE-UINST-CLOCK ("le_uc" hack-64-bit-arg) sdu-c-function)
(defprop LAM-EXECUTE-UINST-CLOCK-PLUS-UINST-CLOCK-LOW
	 ("le_ucl" hack-64-bit-arg) sdu-c-function)
(defprop LAM-EXECUTE-W ("le_w" hack-64-bit-arg) sdu-c-function)
(defprop lam-execute-source-cycle ("le_sc" hack-64-bit-arg) sdu-c-function)
(defprop LAM-EXECUTE-NOCLOCKS ("le_nc" hack-64-bit-arg) sdu-c-function)
(defprop WRITE-CRAM-WITH-GOOD-PARITY ("WcramP" whack-64-bit-arg) sdu-c-function)
(defprop WRITE-IREG-and-check ("Wiregc" hack-64-bit-arg) sdu-c-function)