diff --git a/include/microkernel/ticks.h b/include/microkernel/ticks.h
index 1011f985777..8d905710b53 100644
--- a/include/microkernel/ticks.h
+++ b/include/microkernel/ticks.h
@@ -90,7 +90,7 @@ static inline K_TIMER *_timer_id_to_ptr(ktimer_t timer)
 
 extern uint32_t task_node_cycle_get_32(void);
 extern int32_t task_tick_get_32(void);
-extern int64_t task_node_tick_get(void);
+extern int64_t task_tick_get(void);
 extern ktimer_t task_timer_alloc(void);
 extern void task_timer_free(ktimer_t timer);
 extern void task_timer_start(ktimer_t timer,
@@ -111,7 +111,7 @@ extern int kernel_idle(void);
 
 #define isr_node_cycle_get_32() task_node_cycle_get_32()
 #define isr_tick_get_32() task_tick_get_32()
-#define isr_node_tick_get() task_node_tick_get()
+#define isr_tick_get() task_tick_get()
 
 #ifdef __cplusplus
 }
diff --git a/kernel/microkernel/k_timer.c b/kernel/microkernel/k_timer.c
index 83571ddbbb3..f0f50d874aa 100644
--- a/kernel/microkernel/k_timer.c
+++ b/kernel/microkernel/k_timer.c
@@ -47,7 +47,7 @@
 * counter register on the timer device. This counter register increments
 * at a relatively high rate (e.g. 20 MHz), and thus is considered a
 * "high resolution" timer.  This is in contrast to nano_tick_get_32() and
-* task_node_tick_get_32() which return the value of the kernel ticks variable.
+* task_tick_get_32() which return the value of the kernel ticks variable.
 *
 * RETURNS: current high precision clock value
 */
@@ -59,14 +59,14 @@ uint32_t task_node_cycle_get_32(void)
 
 /*******************************************************************************
 *
-* task_node_tick_get - read the current system clock value
+* task_tick_get - read the current system clock value
 *
 * This routine returns the current system clock value as measured in ticks.
 *
 * RETURNS: current system clock value
 */
 
-int64_t task_node_tick_get(void)
+int64_t task_tick_get(void)
 {
 	return _LowTimeGet();
 }