#include <Library/BaseLib.h>
#include <Uefi.h>
#include <Uefi/UefiSpec.h>

void VMemInit() { UINTN *PageTable = (UINTN *)AsmReadCr3(); }