vmci_deny_interaction
if (vmci_deny_interaction(src_priv_flags, dst_priv_flags)) {
if (vmci_deny_interaction(priv_flags, sub_ctx->priv_flags))
if (vmci_deny_interaction(src_priv_flags,
if (vmci_deny_interaction(src_priv_flags,