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