Searched refs:cfg_tbl_len (Results 1 – 3 of 3) sorted by relevance
| /linux/arch/x86/boot/compressed/ |
| H A D | efi.c | 132 unsigned int *cfg_tbl_len) in efi_get_conf_table() argument
138 if (!cfg_tbl_pa || !cfg_tbl_len) in efi_get_conf_table()
155 *cfg_tbl_len = stbl->nr_tables; in efi_get_conf_table()
160 *cfg_tbl_len = stbl->nr_tables; in efi_get_conf_table()
210 unsigned int cfg_tbl_len, in efi_find_vendor_table() argument
220 for (i = 0; i < cfg_tbl_len; i++) { in efi_find_vendor_table()
|
| H A D | acpi.c | 25 __efi_get_rsdp_addr(unsigned long cfg_tbl_pa, unsigned int cfg_tbl_len) in __efi_get_rsdp_addr() argument
35 rsdp_addr = efi_find_vendor_table(boot_params_ptr, cfg_tbl_pa, cfg_tbl_len, in __efi_get_rsdp_addr()
41 rsdp_addr = efi_find_vendor_table(boot_params_ptr, cfg_tbl_pa, cfg_tbl_len, in __efi_get_rsdp_addr()
55 unsigned int cfg_tbl_len; in efi_get_rsdp_addr() local
69 ret = efi_get_conf_table(boot_params_ptr, &cfg_tbl_pa, &cfg_tbl_len); in efi_get_rsdp_addr()
73 return __efi_get_rsdp_addr(cfg_tbl_pa, cfg_tbl_len); in efi_get_rsdp_addr()
|
| H A D | misc.h | 219 unsigned int *cfg_tbl_len);
222 unsigned int cfg_tbl_len,
237 unsigned int *cfg_tbl_len) in efi_get_conf_table() argument
244 unsigned int cfg_tbl_len, in efi_find_vendor_table() argument
|