android-kvm / linux / d2f607484f8210cf19b1730dee26d426a5a770a5 / include / asm-v850 / highres_timer.h