(ia32e-page-tablesbits-debug x) → *
Function:
(defun ia32e-page-tablesbits-debug (x) (declare (xargs :guard (ia32e-page-tablesbits-p x))) (let ((__function__ 'ia32e-page-tablesbits-debug)) (declare (ignorable __function__)) (b* (((ia32e-page-tablesbits x))) (cons (cons 'p x.p) (cons (cons 'r/w x.r/w) (cons (cons 'u/s x.u/s) (cons (cons 'pwt x.pwt) (cons (cons 'pcd x.pcd) (cons (cons 'a x.a) (cons (cons 'd x.d) (cons (cons 'ps x.ps) (cons (cons 'res1 x.res1) (cons (cons 'reference-addr x.reference-addr) (cons (cons 'res2 x.res2) (cons (cons 'xd x.xd) nil)))))))))))))))