diff --git a/drivers/rptun/rptun.c b/drivers/rptun/rptun.c
index b176aecc552..2ca3b601f8a 100644
--- a/drivers/rptun/rptun.c
+++ b/drivers/rptun/rptun.c
@@ -1053,13 +1053,3 @@ int rptun_reset(FAR const char *cpuname, int value)
 {
   return rpmsg_ioctl(cpuname, RPTUNIOC_RESET, value);
 }
-
-int rptun_panic(FAR const char *cpuname)
-{
-  return rpmsg_ioctl(cpuname, RPMSGIOC_PANIC, 0);
-}
-
-void rptun_dump_all(void)
-{
-  rpmsg_ioctl(NULL, RPMSGIOC_DUMP, 0);
-}
diff --git a/include/nuttx/rptun/rptun.h b/include/nuttx/rptun/rptun.h
index 5186b4f30b8..aafe4476cb7 100644
--- a/include/nuttx/rptun/rptun.h
+++ b/include/nuttx/rptun/rptun.h
@@ -359,8 +359,6 @@ int rptun_initialize(FAR struct rptun_dev_s *dev);
 int rptun_boot(FAR const char *cpuname);
 int rptun_poweroff(FAR const char *cpuname);
 int rptun_reset(FAR const char *cpuname, int value);
-int rptun_panic(FAR const char *cpuname);
-void rptun_dump_all(void);
 
 #ifdef __cplusplus
 }