HelenOS sources

amdm37x_gpt_t      65 kernel/arch/arm32/src/mach/beagleboardxm/beagleboardxm.c 	amdm37x_gpt_t timer;
amdm37x_gpt_t     204 kernel/genarch/include/genarch/drivers/amdm37x/gpt.h     amdm37x_gpt_t *timer, uintptr_t ioregs, size_t iosize, unsigned hz)
amdm37x_gpt_t     249 kernel/genarch/include/genarch/drivers/amdm37x/gpt.h static inline void amdm37x_gpt_timer_ticks_start(amdm37x_gpt_t *timer)
amdm37x_gpt_t     259 kernel/genarch/include/genarch/drivers/amdm37x/gpt.h static inline bool amdm37x_gpt_irq_ack(amdm37x_gpt_t *timer)