HomeSort by relevance Sort by last modified time
    Searched refs:Split2MPageTo4K (Results 1 - 3 of 3) sorted by null

  /device/linaro/bootloader/edk2/MdeModulePkg/Core/DxeIplPeim/X64/
VirtualMemory.c 58 Split2MPageTo4K (
125 Split2MPageTo4K (PhysicalAddress2M, (UINT64 *) PageDirectoryEntry, StackBase, StackSize);
290 Split2MPageTo4K (PageAddress, (UINT64 *) PageDirectoryEntry, StackBase, StackSize);
VirtualMemory.h 170 Split2MPageTo4K (
  /device/linaro/bootloader/edk2/MdeModulePkg/Core/DxeIplPeim/Ia32/
DxeLoadFunc.c 122 Split2MPageTo4K (PhysicalAddress, (UINT64 *) PageDirectoryEntry, StackBase, StackSize);

Completed in 135 milliseconds