/* VmbusPostMessage - Send a msg on the vmbus's message connection  */
int VmbusPostMessage(void *buffer, size_t bufferLen)
/* VmbusPostMessage - Send a msg on the vmbus's message connection  */
int VmbusPostMessage(void *buffer, size_t bufferLen)
{
	union hv_connection_id connId;
	connId.Asu32 = 0;
	connId.u.Id = VMBUS_MESSAGE_CONNECTION_ID;
	return HvPostMessage(connId, 1, buffer, bufferLen);
}