Searched refs:xci_ipending (Results 1 – 1 of 1) sorted by relevance
1140 int xci_ipending = ci->ci_ipending; in xen_debug_handler() local1158 xci_ilevel, xci_ipending, xci_idepth); in xen_debug_handler()