Searched refs:cpu_evtchn (Results 1 – 1 of 1) sorted by relevance
1162 unsigned long *cpu_evtchn = per_cpu(cpu_evtchn_mask, cpu); in xen_debug_interrupt() local1205 printk("%0*lx%s", (int)(sizeof(cpu_evtchn[0])*2), in xen_debug_interrupt()1206 cpu_evtchn[i], in xen_debug_interrupt()1213 & cpu_evtchn[i]; in xen_debug_interrupt()1229 sync_test_bit(i, cpu_evtchn) in xen_debug_interrupt()