PRI_xen_ulong
printk("%d: masked=%d pending=%d event_sel %0*"PRI_xen_ulong"\n ", i,
printk("%0*"PRI_xen_ulong"%s",
printk("%0*"PRI_xen_ulong"%s",
printk("%0*"PRI_xen_ulong"%s",
printk("%0*"PRI_xen_ulong"%s", (int)(sizeof(cpu_evtchn[0])*2),
printk("%0*"PRI_xen_ulong"%s",
ret = sprintf(buffer, "%"PRI_xen_ulong"\n",