Searched refs:cpu_evtchn (Results 1 – 1 of 1) sorted by relevance
268 xen_ulong_t *cpu_evtchn = per_cpu(cpu_evtchn_mask, cpu); in xen_debug_interrupt() local313 printk("%0*"PRI_xen_ulong"%s", (int)(sizeof(cpu_evtchn[0])*2), in xen_debug_interrupt()314 cpu_evtchn[i], in xen_debug_interrupt()321 & cpu_evtchn[i]; in xen_debug_interrupt()338 sync_test_bit(i, BM(cpu_evtchn)) in xen_debug_interrupt()