acrn-kernel/arch/h8300/include/asm/cputime.h