Searched refs:write_rflags (Results 1 – 4 of 4) sorted by relevance
50 write_rflags(flags ^ PSL_ID); in bi_checkcpu()
403 write_rflags(u_long rf) in write_rflags() function802 write_rflags(rflags); in intr_restore()867 void write_rflags(u_int rf);
196 write_rflags(u_long rf) in write_rflags() function
2709 write_rflags(rflags & ~PSL_T); in vmx_dr_enter_guest()2748 write_rflags(read_rflags() | vmxctx->host_tf); in vmx_dr_leave_guest()