hypercall_page_setup
int hypercall_page_setup(vm_paddr_t);
ret = hypercall_page_setup(hypercall_context.hc_paddr);