(data-segment-descriptor-attributesbits-debug x) → *
Function:
(defun data-segment-descriptor-attributesbits-debug (x) (declare (xargs :guard (data-segment-descriptor-attributesbits-p x))) (let ((__function__ 'data-segment-descriptor-attributesbits-debug)) (declare (ignorable __function__)) (b* (((data-segment-descriptor-attributesbits x))) (cons (cons 'a x.a) (cons (cons 'w x.w) (cons (cons 'e x.e) (cons (cons 'msb-of-type x.msb-of-type) (cons (cons 's x.s) (cons (cons 'dpl x.dpl) (cons (cons 'p x.p) (cons (cons 'avl x.avl) (cons (cons 'l x.l) (cons (cons 'd/b x.d/b) (cons (cons 'g x.g) (cons (cons 'unknownbits x.unknownbits) nil)))))))))))))))