Home
last modified time | relevance | path

Searched refs:ECS_INTERDOMAIN (Results 1 – 4 of 4) sorted by relevance

/xen/xen/common/
A Devent_channel.c389 lchn->state = ECS_INTERDOMAIN; in evtchn_bind_interdomain()
394 rchn->state = ECS_INTERDOMAIN; in evtchn_bind_interdomain()
666 case ECS_INTERDOMAIN: in evtchn_close()
703 BUG_ON(chn2->state != ECS_INTERDOMAIN); in evtchn_close()
764 case ECS_INTERDOMAIN: in evtchn_send()
977 case ECS_INTERDOMAIN: in evtchn_status()
1045 case ECS_INTERDOMAIN: in evtchn_bind_vcpu()
1397 if ( likely(lchn->state == ECS_INTERDOMAIN) ) in notify_via_xen_event_channel()
1570 case ECS_INTERDOMAIN: in domain_dump_evtchn_info()
/xen/xen/xsm/flask/
A Dflask_op.c564 if ( chn->state != ECS_INTERDOMAIN ) in flask_get_peer_sid()
A Dhooks.c286 case ECS_INTERDOMAIN: in flask_evtchn_send()
335 case ECS_INTERDOMAIN: in flask_show_security_evtchn()
/xen/xen/include/xen/
A Dsched.h92 #define ECS_INTERDOMAIN 3 /* Channel is bound to another domain. */ macro

Completed in 12 milliseconds