Searched refs:XEN_VCPUID (Results 1 – 3 of 3) sorted by relevance
72 #define XEN_VCPUID() PCPU_GET(vcpu_id) macro
68 unsigned int cpu = XEN_VCPUID(); in xen_setup_vcpu_info()
81 xc_printf("Printing stack trace vCPU%u\n", XEN_VCPUID()); in xendebug_filter()