vmci_datagram_get_priv_flags_int
static int vmci_datagram_get_priv_flags_int(vmci_id contextID,
return (vmci_datagram_get_priv_flags_int(handle.context, handle,