HelenOS sources

AMDM37x_GPT1_BASE_ADDRESS  113 kernel/arch/arm32/src/mach/beagleboardxm/beagleboardxm.c 	    AMDM37x_GPT1_BASE_ADDRESS, AMDM37x_GPT1_SIZE, HZ);
AMDM37x_GPT1_BASE_ADDRESS  228 kernel/genarch/include/genarch/drivers/amdm37x/gpt.h 	timer->special_available = ((ioregs == AMDM37x_GPT1_BASE_ADDRESS) ||