[PATCH] c-user: Remove clock driver specific functions

[Sebastian Huber]

Do not mention functions which belong to a specific clock driver
implementation.  These functions should not be called by applications
directly.
---
 c-user/interrupt_manager.rst | 3 ---
 1 file changed, 3 deletions(-)

diff --git a/c-user/interrupt_manager.rst b/c-user/interrupt_manager.rst
index 5882261..11293f6 100644
--- a/c-user/interrupt_manager.rst
+++ b/c-user/interrupt_manager.rst
@@ -199,9 +199,6 @@ is a list of RTEMS system calls that may be made from an ISR:
   - rtems_clock_get_ticks_per_second
   - rtems_clock_get_ticks_since_boot
   - rtems_clock_get_uptime
-  - rtems_timecounter_tick
-  - rtems_timecounter_simple_downcounter_tick
-  - rtems_timecounter_simple_upcounter_tick
 
 - Timer Management
 
-- 
2.12.3