efi_system_table_32_t (reference) in projects: linux

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

/linux/arch/x86/boot/compressed/
A D	acpi.c	`160 efi_system_table_32_t stbl = (efi_system_table_32_t )systab; in efi_get_rsdp_addr()`
/linux/arch/x86/platform/efi/
A D	efi.c	`345 : sizeof(efi_system_table_32_t); in efi_systab_init() 394 const efi_system_table_32_t *systab32 = p; in efi_systab_init()`
/linux/include/linux/
A D	efi.h	`432 } efi_system_table_32_t; typedef 453 efi_system_table_32_t mixed_mode;`
/linux/arch/x86/kernel/
A D	machine_kexec_64.c	`102 mend = mstart + sizeof(efi_system_table_32_t); in map_efi_systab()`

Completed in 12 milliseconds