paddr_host2guest
uintptr_t paddr_host2guest(struct vmctx *ctx, void *addr);
gaddr = paddr_host2guest(ctx, *addrp);