Searched refs:TDP2_EFIRT (Results 1 – 3 of 3) sorted by relevance
322 MPASS((td->td_pflags2 & TDP2_EFIRT) == 0); in efi_enter()323 td->td_pflags2 |= TDP2_EFIRT; in efi_enter()335 MPASS((td->td_pflags2 & TDP2_EFIRT) != 0); in efi_leave()336 td->td_pflags2 &= ~TDP2_EFIRT; in efi_leave()
457 if ((td->td_pflags2 & TDP2_EFIRT) != 0 && in trap()897 if ((td->td_pflags2 & TDP2_EFIRT) != 0) { in trap_pfault()
570 #define TDP2_EFIRT 0x20000000 /* In firmware (EFI RT) call */ macro