Symbol: write_eflags
usr/src/boot/i386/libi386/cpuid.c
55
write_eflags(flags ^ PSL_ID);
usr/src/boot/sys/i386/include/cpufunc.h
713
write_eflags(eflags);
usr/src/boot/sys/i386/include/cpufunc.h
787
void write_eflags(u_int ef);