Default-cpuid-flag-fn
- Signature
(default-cpuid-flag-fn eax ecx reg bit width) → *
- Arguments
- reg — Guard (or (equal reg 0) (equal reg 3) (equal reg 1) (equal reg 2)).
Definitions and Theorems
Function: default-cpuid-flag-fn
(defun default-cpuid-flag-fn (eax ecx reg bit width)
(declare (type (unsigned-byte 32) eax)
(type (unsigned-byte 32) ecx)
(type (integer 0 63) bit)
(type (integer 1 32) width))
(declare (xargs :guard (or (equal reg 0)
(equal reg 3)
(equal reg 1)
(equal reg 2))))
(let ((__function__ 'default-cpuid-flag-fn))
(declare (ignorable __function__))
(case eax
(2147483656 (case reg
(0 (case bit
(0 (if (equal width 8) 52 0))
(8 (if (equal width 8) 48 0))
(t 0)))
(t 1)))
(t 1))))
