rtos_timer_device 44 arch/hexagon/kernel/time.c static struct platform_device rtos_timer_device = { rtos_timer_device 170 arch/hexagon/kernel/time.c resource = rtos_timer_device.resource;