hypercall_post_message
uint64_t hypercall_post_message(bus_addr_t msg_paddr);
status = hypercall_post_message(inprm_paddr);