CPUID_EFLAGS
if ((get_eflags() & CPUID_EFLAGS) == 0) {
set_eflags(get_eflags() | CPUID_EFLAGS);
if ((get_eflags() & CPUID_EFLAGS) == 0)