Searched defs:IdtTableForX64 (Results 1 - 1 of 1) sorted by relevance

/vbox/src/VBox/Devices/EFI/Firmware/MdeModulePkg/Core/DxeIplPeim/Ia32/
H A DDxeLoadFunc.c85 X64_IDT_TABLE *IdtTableForX64; local
135 (EFI_PHYSICAL_ADDRESS *) &IdtTableForX64
143 IdtTableForX64->PeiService = GetPeiServicesTablePointer ();
145 VectorAddress = (EFI_PHYSICAL_ADDRESS) (UINTN) (IdtTableForX64 + 1);
146 IdtTable = IdtTableForX64->IdtTable;

Completed in 77 milliseconds