diff --git a/sched/paging/paging.h b/sched/paging/paging.h
index 18455172d0..948713d09e 100644
--- a/sched/paging/paging.h
+++ b/sched/paging/paging.h
@@ -99,7 +99,7 @@ extern FAR struct tcb_s *g_pftcb;
  *
  ****************************************************************************/
 
-int pg_worker(int argc, char *argv[]);
+int pg_worker(int argc, FAR char *argv[]);
 
 #endif /* __ASSEMBLY__ */
 #endif /* CONFIG_PAGING */
diff --git a/sched/paging/pg_worker.c b/sched/paging/pg_worker.c
index 6e8cc29a6d..4e11d00f24 100644
--- a/sched/paging/pg_worker.c
+++ b/sched/paging/pg_worker.c
@@ -523,7 +523,7 @@ static inline void pg_fillcomplete(void)
  *
  ****************************************************************************/
 
-int pg_worker(int argc, char *argv[])
+int pg_worker(int argc, FAR char *argv[])
 {
   FAR struct tcb_s *wtcb = this_task();