From 7099337c3a6218e50c4ab66fbd1902c6aef53929 Mon Sep 17 00:00:00 2001
From: Chloe M <chloe@mensia.org>
Date: Mon, 13 Jul 2026 22:24:33 -0400
Subject: [PATCH] ptos: hal: Resolve inclusion of stale header

Signed-off-by: Chloe M <chloe@mensia.org>
---
 service/ptos/head/hal/mmio.h | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/service/ptos/head/hal/mmio.h b/service/ptos/head/hal/mmio.h
index 67b3e4d..f02fa56 100644
--- a/service/ptos/head/hal/mmio.h
+++ b/service/ptos/head/hal/mmio.h
@@ -9,7 +9,7 @@
 #ifndef _MU_MMIO_H_
 #define _MU_MMIO_H_ 1
 
-#include <stdef.h>
+#include <ptdef.h>
 
 /* Builds mmio_write<n> functions */
 #define _MMIO_WRITE_BUILDER(NAME, TYPE)         \