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

  /src/sys/arch/xen/xen/
evtchn.c 1144 u_long pending_sel = ci->ci_vcpu->evtchn_pending_sel; local in function:xen_debug_handler
1161 upcall_pending, upcall_mask, pending_sel);

Completed in 13 milliseconds