Searched defs:efi_system_table (Results 1 – 2 of 2) sorted by relevance
65 arm_efirt_init(paddr_t efi_system_table) in arm_efirt_init()
250 uint64_t efi_system_table; in arm_fdt_efi_init() local