Home
last modified time | relevance | path

Searched refs:efi_system_table_32_t (Results 1 – 4 of 4) sorted by relevance

/OK3568_Linux_fs/kernel/arch/x86/boot/compressed/
H A Dacpi.c160 efi_system_table_32_t *stbl = (efi_system_table_32_t *)systab; in efi_get_rsdp_addr()
/OK3568_Linux_fs/kernel/arch/x86/platform/efi/
H A Defi.c345 : sizeof(efi_system_table_32_t); in efi_systab_init()
394 const efi_system_table_32_t *systab32 = p; in efi_systab_init()
/OK3568_Linux_fs/kernel/include/linux/
H A Defi.h435 } efi_system_table_32_t; typedef
456 efi_system_table_32_t mixed_mode;
/OK3568_Linux_fs/kernel/arch/x86/kernel/
H A Dmachine_kexec_64.c101 mend = mstart + sizeof(efi_system_table_32_t); in map_efi_systab()