hypercall_post_message
uint64_t hypercall_post_message(bus_addr_t);
status = hypercall_post_message(mh->mh_inprm_dma.hv_paddr);