INT_DONE           80 bsp/hal/arm/gba/clock.c 	return INT_DONE;
INT_DONE           79 bsp/hal/arm/integrator/clock.c 	return INT_DONE;
INT_DONE           58 bsp/hal/ppc/arch/clock.c 	return INT_DONE;
INT_DONE           66 bsp/hal/x86/pc/clock.c 	return INT_DONE;