vm_get_highmem_base
highmem = vm_get_highmem_base(ctx);
pci_emul_membase64 = vm_get_highmem_base(ctx) +
guest_himem_base = vm_get_highmem_base(ctx);
vm_paddr_t vm_get_highmem_base(struct vmctx *ctx);