Searched refs:PE_smc_stashed_x86_efi_boot_state (Results 1 – 2 of 2) sorted by relevance
196 uint8_t PE_smc_stashed_x86_efi_boot_state = 0xFF; variable515 if (PE_smc_stashed_x86_efi_boot_state != 0xFF) { in do_print_all_backtraces()516 paniclog_append_noflush("0x%x\n", PE_smc_stashed_x86_efi_boot_state); in do_print_all_backtraces()888 panic_info->eph_x86_efi_boot_state = PE_smc_stashed_x86_efi_boot_state; in SavePanicInfo()
505 extern uint8_t PE_smc_stashed_x86_efi_boot_state;