Searched refs:TDP_EFIRT (Results 1 – 3 of 3) sorted by relevance
319 MPASS((td->td_pflags & TDP_EFIRT) == 0); in efi_enter()320 td->td_pflags |= TDP_EFIRT; in efi_enter()332 MPASS((td->td_pflags & TDP_EFIRT) != 0); in efi_leave()333 td->td_pflags &= ~TDP_EFIRT; in efi_leave()
229 if (__predict_false((td->td_pflags & TDP_EFIRT) != 0)) { in trap_check_pcb_onfault()
567 #define TDP_EFIRT 0x20000000 /* In firmware (EFI RT) call */ macro