(defprop read-usp "Rusp " sdu-c-function)
  (defprop read-usp () sdu-c-args)
(defprop noop-p "NoopP" sdu-c-function)
  (defprop noop-p () sdu-c-args)
(defprop read-hptr "Rhptr" sdu-c-function)
  (defprop read-hptr () sdu-c-args)
(defprop /* Rpc = lisp: read-pc = sread32 (SPC) */ "/lmi/pace/diag/regs/pc.c" sdu-c-function)
  (defprop /* Rpc = lisp: read-pc = sread32 (SPC) */ () sdu-c-args)
(defprop write-low-ireg "WLireg" sdu-c-function)
  (defprop write-low-ireg (data) sdu-c-args)
(defprop write-stat-counter "Wsc" sdu-c-function)
  (defprop write-stat-counter (data) sdu-c-args)
(defprop write-md "Wmd" sdu-c-function)
  (defprop write-md (data) sdu-c-args)
(defprop write-pc "Wpc " sdu-c-function)
  (defprop write-pc (data) sdu-c-args)
(defprop write-a-mem "Wamem" sdu-c-function)
  (defprop write-a-mem (addr, data) sdu-c-args)
(defprop write-c-pi "Wcpi" sdu-c-function)
  (defprop write-c-pi (data) sdu-c-args)
(defprop read-low-ireg "RLireg" sdu-c-function)
  (defprop read-low-ireg () sdu-c-args)
(defprop load-straight-cram-addr-map "lscam " sdu-c-function)
  (defprop load-straight-cram-addr-map (npages) sdu-c-args)
(defprop read-stat-counter "Rsc" sdu-c-function)
  (defprop read-stat-counter () sdu-c-args)
(defprop assure-noop-cleared-and-no-carryover "ancnc " sdu-c-function)
  (defprop assure-noop-cleared-and-no-carryover () sdu-c-args)
(defprop zero-ireg "zireg " sdu-c-function)
  (defprop zero-ireg () sdu-c-args)
(defprop read-md "Rmd" sdu-c-function)
  (defprop read-md () sdu-c-args)
(defprop write-pi "Wpi" sdu-c-function)
  (defprop write-pi (data) sdu-c-args)
(defprop read-a-mem "Ramem" sdu-c-function)
  (defprop read-a-mem (addr) sdu-c-args)
(defprop read-c-pi "Rcpi" sdu-c-function)
  (defprop read-c-pi () sdu-c-args)
(defprop write-c-pp "Wcpp" sdu-c-function)
  (defprop write-c-pp (data) sdu-c-args)
(defprop write-cram "Wcram " sdu-c-function)
  (defprop write-cram (addr, low, high) sdu-c-args)
(defprop enable-lambda "EL " sdu-c-function)
  (defprop enable-lambda () sdu-c-args)
(defprop write-l1-map "Wl1map" sdu-c-function)
  (defprop write-l1-map (addr, data) sdu-c-args)
(defprop uinst-clock-low-p "uClLowP" sdu-c-function)
  (defprop uinst-clock-low-p () sdu-c-args)
(defprop write-m-mem "Wmmem " sdu-c-function)
  (defprop write-m-mem (addr, data) sdu-c-args)
(defprop lam-execute-r "le_r " sdu-c-function)
  (defprop lam-execute-r (low, high) sdu-c-args)
(defprop write-ireg "Wireg " sdu-c-function)
  (defprop write-ireg (low, high) sdu-c-args)
(defprop write-csm "Wcsm" sdu-c-function)
  (defprop write-csm (addr, data) sdu-c-args)
(defprop force-source-code-word "MkSoCdWd" sdu-c-function)
  (defprop force-source-code-word () sdu-c-args)
(defprop write-vma "Wvma" sdu-c-function)
  (defprop write-vma (data) sdu-c-args)
(defprop read-pi "Rpi" sdu-c-function)
  (defprop read-pi () sdu-c-args)
(defprop write-pp "Wpp" sdu-c-function)
  (defprop write-pp (data) sdu-c-args)
(defprop read-c-pp "Rcpp" sdu-c-function)
  (defprop read-c-pp () sdu-c-args)
(defprop write-q-reg "Wqreg" sdu-c-function)
  (defprop write-q-reg (data) sdu-c-args)
(defprop read-l1-map "Rl1map" sdu-c-function)
  (defprop read-l1-map (addr) sdu-c-args)
(defprop lam-execute-w "le_w " sdu-c-function)
  (defprop lam-execute-w (low, high) sdu-c-args)
(defprop disable-lambda "DL " sdu-c-function)
  (defprop disable-lambda () sdu-c-args)
(defprop write-dp-mode "Wdpmode" sdu-c-function)
  (defprop write-dp-mode (data) sdu-c-args)
(defprop write-csm-adr "WcsmA" sdu-c-function)
  (defprop write-csm-adr (data) sdu-c-args)
(defprop read-m-mem "Rmmem" sdu-c-function)
  (defprop read-m-mem (addr) sdu-c-args)
(defprop read-csm "Rcsm" sdu-c-function)
  (defprop read-csm (addr) sdu-c-args)
(defprop read-vma "Rvma" sdu-c-function)
  (defprop read-vma () sdu-c-args)
(defprop read-pp "Rpp" sdu-c-function)
  (defprop read-pp () sdu-c-args)
(defprop read-q-reg "Rqreg" sdu-c-function)
  (defprop read-q-reg () sdu-c-args)
(defprop write-high-ireg "WHireg" sdu-c-function)
  (defprop write-high-ireg (data) sdu-c-args)
(defprop read-dp-mode "Rdpmode" sdu-c-function)
  (defprop read-dp-mode () sdu-c-args)
(defprop write-tram "Wtram " sdu-c-function)
  (defprop write-tram (addr, data) sdu-c-args)
(defprop write-aux-stat-counter "Wasc" sdu-c-function)
  (defprop write-aux-stat-counter (data) sdu-c-args)
(defprop read-csm-adr "RcsmA" sdu-c-function)
  (defprop read-csm-adr () sdu-c-args)
(defprop write-and-increment-pp "Wppi " sdu-c-function)
  (defprop write-and-increment-pp (data) sdu-c-args)
(defprop force-uinst-clock-low "MkuClLow" sdu-c-function)
  (defprop force-uinst-clock-low () sdu-c-args)
(defprop noop-to-uinst-boundary "Nop2uInstB" sdu-c-function)
  (defprop noop-to-uinst-boundary () sdu-c-args)
(defprop read-us "Rus " sdu-c-function)
  (defprop read-us (addr) sdu-c-args)
(defprop write-csm-reg-via-csmram "Wcsmreg " sdu-c-function)
  (defprop write-csm-reg-via-csmram (data) sdu-c-args)
(defprop t-hold-p "THoldP" sdu-c-function)
  (defprop t-hold-p () sdu-c-args)
(defprop at-uinst-boundary-p "uiboundaryp" sdu-c-function)
  (defprop at-uinst-boundary-p () sdu-c-args)
(defprop lam-execute-uinst-clock "le_uc " sdu-c-function)
  (defprop lam-execute-uinst-clock (low, high) sdu-c-args)
(defprop read-high-ireg "RHireg" sdu-c-function)
  (defprop read-high-ireg () sdu-c-args)
(defprop write-tram-adr "Wtramaddr " sdu-c-function)
  (defprop write-tram-adr (data) sdu-c-args)
(defprop read-tram "Rtram " sdu-c-function)
  (defprop read-tram (addr) sdu-c-args)
(defprop read-aux-stat-counter "Rasc" sdu-c-function)
  (defprop read-aux-stat-counter () sdu-c-args)
(defprop read-csm-reg "RcsmR" sdu-c-function)
  (defprop read-csm-reg () sdu-c-args)
(defprop write-usp "Wusp " sdu-c-function)
  (defprop write-usp (data) sdu-c-args)
(defprop write-treg-from-tram "Wtft " sdu-c-function)
  (defprop write-treg-from-tram (data) sdu-c-args)
(defprop sm-tick "smtick" sdu-c-function)
  (defprop sm-tick () sdu-c-args)
(defprop write-hptr "Whptr " sdu-c-function)
  (defprop write-hptr (data) sdu-c-args)
(defprop lam-execute-uinst-clock-plus-uinst-clock-low "le_ucl " sdu-c-function)
  (defprop lam-execute-uinst-clock-plus-uinst-clock-low (low, high) sdu-c-args)
(defprop process-sleep "Sleep " sdu-c-function)
  (defprop process-sleep (sixtiths) sdu-c-args)