L4 side: l4rtems_timer_read()
RTEMS side: l4rtems_timer_read() with L4_EXTERNAL_FUNC def