Chromebook R13: #include <linux/module.h> fails

[krovetz]

I'm trying to compile a kernel module for the Chromebook R13 and the #include <linux/module.h> fails due to missing clocksource/arm_arch_timer.h

$this->bbcode_second_pass_code('', '
In file included from ./arch/arm64/include/asm/timex.h:19:0,
from include/linux/timex.h:65,
from include/linux/sched.h:19,
from ./arch/arm64/include/asm/compat.h:25,
from ./arch/arm64/include/asm/stat.h:23,
from include/linux/stat.h:5,
from include/linux/module.h:10,
from /home/krovetz/enable_arm_pmu-dev/ko/enable_arm_pmu.c:5:
./arch/arm64/include/asm/arch_timer.h:28:40: fatal error: clocksource/arm_arch_timer.h: No such file or directory
#include <clocksource/arm_arch_timer.h>')

[krovetz]

Thank you. The headers work fine now.