Searched refs:PE_smc_stashed_x86_efi_boot_state (Results 1 – 2 of 2) sorted by relevance
180 uint8_t PE_smc_stashed_x86_efi_boot_state = 0xFF; variable447 if (PE_smc_stashed_x86_efi_boot_state != 0xFF) { in do_print_all_backtraces()448 paniclog_append_noflush("0x%x\n", PE_smc_stashed_x86_efi_boot_state); in do_print_all_backtraces()790 panic_info->eph_x86_efi_boot_state = PE_smc_stashed_x86_efi_boot_state; in SavePanicInfo()
479 extern uint8_t PE_smc_stashed_x86_efi_boot_state;