vm_get_highmem_base
vm_paddr_t vm_get_highmem_base(struct vmctx *ctx);
loadaddr = vm_get_highmem_base(ctx);
return (vm_get_highmem_base(ctx) + FDT_BASE);
set_single_reg(fdt, vm_get_highmem_base(ctx), vm_get_highmem_size(ctx));
highmem = vm_get_highmem_base(ctx);
pci_emul_membase64 = vm_get_highmem_base(ctx) +
loadaddr = vm_get_highmem_base(ctx);
fdt_gpa = vm_get_highmem_base(ctx) + roundup2(len, FDT_DTB_ALIGN);
set_single_reg(fdt, vm_get_highmem_base(ctx), vm_get_highmem_size(ctx));
guest_himem_base = vm_get_highmem_base(ctx);
baseaddr + vm_get_highmem_base(ctx), highmem, totalmem, op_wr);