Searched refs:ECS_IPI (Results 1 – 3 of 3) sorted by relevance
441 chn->state = ECS_IPI; in evtchn_bind_ipi()604 case ECS_IPI: in evtchn_close()714 case ECS_IPI: in evtchn_send()919 case ECS_IPI: in evtchn_status()
91 #define ECS_IPI 6 /* Channel is bound to a virtual IPI line. */ macro
286 case ECS_IPI: in flask_evtchn_send()
Completed in 11 milliseconds