hyperv_hypercall_post_message
uint64_t hyperv_hypercall_post_message(paddr_t);
status = hyperv_hypercall_post_message(