max_present 286 drivers/xen/pcpu.c *max_cpu = info->max_present; max_present 374 drivers/xen/pcpu.c if (op.u.pcpu_info.max_present > max_id) max_present 375 drivers/xen/pcpu.c max_id = op.u.pcpu_info.max_present; max_present 303 drivers/xen/xen-acpi-processor.c last_cpu = op.u.pcpu_info.max_present; max_present 442 include/xen/interface/platform.h uint32_t max_present;