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

/vbox/src/VBox/Devices/EFI/Firmware/UefiCpuPkg/CpuDxe/
H A DCpuDxe.c1127 VOID *IdtPtrAlignmentBuffer; local
1185 IdtPtrAlignmentBuffer = AllocatePool (sizeof (*IdtPtr) + 16);
1186 IdtPtr = ALIGN_POINTER (IdtPtrAlignmentBuffer, 16);
1192 FreePool (IdtPtrAlignmentBuffer);

Completed in 96 milliseconds