/* You shouldn't include this file. Use linux/sched_clock.h instead.
 * Temporary file until all asm/sched_clock.h users are gone
 */
#include <linux/sched_clock.h>