vm_rev_map_gpa
vm_paddr_t vm_rev_map_gpa(struct vmctx *ctx, void *addr);
return (vm_rev_map_gpa(ctx, addr));