(interrupt/trap-gate-descriptorbits-debug x) → *
Function:
(defun interrupt/trap-gate-descriptorbits-debug (x) (declare (xargs :guard (interrupt/trap-gate-descriptorbits-p x))) (let ((__function__ 'interrupt/trap-gate-descriptorbits-debug)) (declare (ignorable __function__)) (b* (((interrupt/trap-gate-descriptorbits x))) (cons (cons 'offset15-0 x.offset15-0) (cons (cons 'selector x.selector) (cons (cons 'ist x.ist) (cons (cons 'res1 x.res1) (cons (cons 'type x.type) (cons (cons 's x.s) (cons (cons 'dpl x.dpl) (cons (cons 'p x.p) (cons (cons 'offset31-16 x.offset31-16) (cons (cons 'offset63-32 x.offset63-32) (cons (cons 'res2 x.res2) (cons (cons 'all-zeros? x.all-zeros?) (cons (cons 'res3 x.res3) nil))))))))))))))))