Searched refs:cpu_evtchn (Results 1 – 1 of 1) sorted by relevance
269 xen_ulong_t *cpu_evtchn = per_cpu(cpu_evtchn_mask, cpu); in xen_debug_interrupt() local314 printk("%0*"PRI_xen_ulong"%s", (int)(sizeof(cpu_evtchn[0])*2), in xen_debug_interrupt()315 cpu_evtchn[i], in xen_debug_interrupt()322 & cpu_evtchn[i]; in xen_debug_interrupt()339 sync_test_bit(i, BM(cpu_evtchn)) in xen_debug_interrupt()
