Searched refs:efi_systab (Results 1 – 2 of 2) sorted by relevance
48 uint32_t efi_systab; /* 0x04 */ member86 bp.efi_info.efi_systab; in enumerate_memory_arch()
293 (long)(bp.efi_info.efi_systab | ((long)bp.efi_info.efi_systab_hi << 32)), in main()