Searched refs:IMAGE_NT_HEADERS64 (Results 1 – 2 of 2) sorted by relevance
126 IMAGE_NT_HEADERS64 *nt64 = (void *)nt; in efi_load_pe()
102 } IMAGE_NT_HEADERS64, *PIMAGE_NT_HEADERS64; typedef