Searched defs:ct32 (Results 1 – 1 of 1) sorted by relevance
209 struct efi_cfgtbl32 *ct32 = (void *) efi_cfgtblhead_va; in efi_aprintcfgtbl() local272 struct efi_cfgtbl32 *ct32 = (void *) efi_cfgtblhead_va; in efi_getcfgtblpa() local