(system-segment-descriptorbits-debug x) → *
Function:
(defun system-segment-descriptorbits-debug (x) (declare (xargs :guard (system-segment-descriptorbits-p x))) (let ((__function__ 'system-segment-descriptorbits-debug)) (declare (ignorable __function__)) (b* (((system-segment-descriptorbits x))) (cons (cons 'limit15-0 x.limit15-0) (cons (cons 'base15-0 x.base15-0) (cons (cons 'base23-16 x.base23-16) (cons (cons 'type x.type) (cons (cons 's x.s) (cons (cons 'dpl x.dpl) (cons (cons 'p x.p) (cons (cons 'limit19-16 x.limit19-16) (cons (cons 'avl x.avl) (cons (cons 'res1 x.res1) (cons (cons 'g x.g) (cons (cons 'base31-24 x.base31-24) (cons (cons 'base63-32 x.base63-32) (cons (cons 'res2 x.res2) (cons (cons 'all-zeroes? x.all-zeroes?) (cons (cons 'res3 x.res3) nil)))))))))))))))))))