Searched refs:efi_system_table_64_t (Results 1 – 4 of 4) sorted by relevance
87 efi_system_table_64_t *systab; in kexec_get_rsdp_addr()109 systab = (efi_system_table_64_t *) (ei->efi_systab | ((__u64)ei->efi_systab_hi << 32)); in kexec_get_rsdp_addr()155 efi_system_table_64_t *stbl = (efi_system_table_64_t *)systab; in efi_get_rsdp_addr()
344 int size = efi_enabled(EFI_64BIT) ? sizeof(efi_system_table_64_t) in efi_systab_init()364 const efi_system_table_64_t *systab64 = p; in efi_systab_init()
99 mend = mstart + sizeof(efi_system_table_64_t); in map_efi_systab()
419 } efi_system_table_64_t; typedef