HomeSort by: relevance | last modified time | path
    Searched defs:evtchn_do_event (Results 1 - 2 of 2) sorted by relevancy

  /src/sys/arch/xen/xen/
evtchn.c 284 * evtsource[] to a non-NULL value so that evtchn_do_event will
317 evtchn_do_event(int evtch, struct intrframe *regs) function in typeref:typename:unsigned int
331 printf("evtchn_do_event: evtch %d\n", evtch);
evtchn.c 284 * evtsource[] to a non-NULL value so that evtchn_do_event will
317 evtchn_do_event(int evtch, struct intrframe *regs) function in typeref:typename:unsigned int
331 printf("evtchn_do_event: evtch %d\n", evtch);

Completed in 25 milliseconds