Searched refs:PE_smc_stashed_x86_efi_boot_state (Results 1 – 2 of 2) sorted by relevance
198 uint8_t PE_smc_stashed_x86_efi_boot_state = 0xFF; variable524 if (PE_smc_stashed_x86_efi_boot_state != 0xFF) { in do_print_all_backtraces()525 paniclog_append_noflush("0x%x\n", PE_smc_stashed_x86_efi_boot_state); in do_print_all_backtraces()917 panic_info->eph_x86_efi_boot_state = PE_smc_stashed_x86_efi_boot_state; in SavePanicInfo()
522 extern uint8_t PE_smc_stashed_x86_efi_boot_state;