Searched refs:efiMode (Results 1 – 3 of 3) sorted by relevance
154 uint8_t efiMode;/* 32 = 32-bit, 64 = 64-bit */ member
474 …PRINTF("Boot args version %d revision %d mode %d\n", args->Version, args->Revision, args->efiMode); in efi_init()475 if (args->efiMode == kBootArgsEfiMode64) { in efi_init()567 …printf("Boot args version %d revision %d mode %d\n", args->Version, args->Revision, args->efiMode); in hibernate_newruntime_map()568 if (args->efiMode == kBootArgsEfiMode64) { in hibernate_newruntime_map()
547 if (args->efiMode == kBootArgsEfiMode32) { in pmap_bootstrap()