Searched refs:TDP_EFIRT (Results 1 – 3 of 3) sorted by relevance
309 MPASS((td->td_pflags & TDP_EFIRT) == 0); in efi_enter()310 td->td_pflags |= TDP_EFIRT; in efi_enter()322 MPASS((td->td_pflags & TDP_EFIRT) != 0); in efi_leave()323 td->td_pflags &= ~TDP_EFIRT; in efi_leave()
432 if ((td->td_pflags & TDP_EFIRT) != 0 && in trap()862 if ((td->td_pflags & TDP_EFIRT) != 0) { in trap_pfault()
564 #define TDP_EFIRT 0x20000000 /* In firmware (EFI RT) call */ macro