Searched refs:xen_cpuid (Results 1 – 5 of 5) sorted by relevance
251 pcpu->cpu_id = info->xen_cpuid; in create_and_register_pcpu()259 pr_warn("Failed to register pcpu%u\n", info->xen_cpuid); in create_and_register_pcpu()277 .u.pcpu_info.xen_cpuid = cpu, in sync_pcpu()366 op.u.pcpu_info.xen_cpuid = cpu_id; in xen_pcpu_id()
296 info->xen_cpuid = 0; in get_max_acpi_id()305 info->xen_cpuid = i; in get_max_acpi_id()
52 .u.pcpu_info.xen_cpuid = 0, in xen_apic_read()
165 static void xen_cpuid(unsigned int *ax, unsigned int *bx, in xen_cpuid() function198 STACK_FRAME_NON_STANDARD(xen_cpuid); /* XEN_EMULATE_PREFIX */1041 .cpuid = xen_cpuid,
439 uint32_t xen_cpuid; member