vmw_recv_msg
STACK_FRAME_NON_STANDARD(vmw_recv_msg);
vmw_recv_msg(&channel, (void *) &reply, &reply_len))
if (vmw_recv_msg(&channel, (void *) &reply, &reply_len)) {