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;