Searched refs:PE_smc_stashed_x86_efi_boot_state (Results 1 – 2 of 2) sorted by relevance
187 uint8_t PE_smc_stashed_x86_efi_boot_state = 0xFF; variable474 if (PE_smc_stashed_x86_efi_boot_state != 0xFF) { in do_print_all_backtraces()475 paniclog_append_noflush("0x%x\n", PE_smc_stashed_x86_efi_boot_state); in do_print_all_backtraces()832 panic_info->eph_x86_efi_boot_state = PE_smc_stashed_x86_efi_boot_state; in SavePanicInfo()
487 extern uint8_t PE_smc_stashed_x86_efi_boot_state;