Home
last modified time | relevance | path

Searched refs:xen_evtchn_do_upcall (Results 1 – 3 of 3) sorted by relevance

/linux-4.1.27/include/xen/
Devents.h97 void xen_evtchn_do_upcall(struct pt_regs *regs);
/linux-4.1.27/arch/x86/kernel/
Dentry_32.S960 call xen_evtchn_do_upcall
1020 xen_evtchn_do_upcall)
/linux-4.1.27/drivers/xen/events/
Devents_base.c1251 void xen_evtchn_do_upcall(struct pt_regs *regs) in xen_evtchn_do_upcall() function