xen_get_runstate_snapshot_cpu  143 drivers/xen/time.c 	xen_get_runstate_snapshot_cpu(res, smp_processor_id());
xen_get_runstate_snapshot_cpu  156 drivers/xen/time.c 	xen_get_runstate_snapshot_cpu(&state, cpu);