# $FreeBSD$ arm/arm/generic_timer.c standard arm/broadcom/bcm2835/bcm2836.c standard