Home
last modified time | relevance | path

Searched refs:PRIuCPUID (Results 1 – 1 of 1) sorted by relevance

/netbsd/src/sys/arch/xen/xen/
Devtchn.c422 #define PRIuCPUID "lu" /* XXX: move this somewhere more appropriate */ macro
543 panic("Failed to bind ipi to VCPU %"PRIuCPUID"\n", vcpu); in bind_vcpu_to_evtch()