Searched refs:efi_cfgtbl32 (Results 1 – 2 of 2) sorted by relevance
209 struct efi_cfgtbl32 *ct32 = (void *) efi_cfgtblhead_va; in efi_aprintcfgtbl()272 struct efi_cfgtbl32 *ct32 = (void *) efi_cfgtblhead_va; in efi_getcfgtblpa()
192 struct efi_cfgtbl32 { struct