diff --git a/ports/src/app/gdb_monitor/cpu_session_component.h b/ports/src/app/gdb_monitor/cpu_session_component.h
index f37ca61252..8e60826d95 100644
--- a/ports/src/app/gdb_monitor/cpu_session_component.h
+++ b/ports/src/app/gdb_monitor/cpu_session_component.h
@@ -49,6 +49,8 @@ class Cpu_session_component : public Rpc_object<Cpu_session>
 
 		unsigned long lwpid(Thread_capability thread_cap);
 		Thread_capability thread_cap(unsigned long lwpid);
+		Thread_capability first();
+		Thread_capability next(Thread_capability);
 
 		/***************************
 		 ** CPU session interface **
@@ -57,8 +59,6 @@ class Cpu_session_component : public Rpc_object<Cpu_session>
 		Thread_capability create_thread(Name const &, addr_t);
 		Ram_dataspace_capability utcb(Thread_capability thread);
 		void kill_thread(Thread_capability);
-		Thread_capability first();
-		Thread_capability next(Thread_capability);
 		int set_pager(Thread_capability, Pager_capability);
 		int start(Thread_capability, addr_t, addr_t);
 		void pause(Thread_capability thread_cap);