diff --git a/ports/mimxrt/cyw43_configport.h b/ports/mimxrt/cyw43_configport.h
index f1cfc86cb0..619db24b1b 100644
--- a/ports/mimxrt/cyw43_configport.h
+++ b/ports/mimxrt/cyw43_configport.h
@@ -24,8 +24,8 @@
  * OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN
  * THE SOFTWARE.
  */
-#ifndef MICROPY_INCLUDED_STM32_CYW43_CONFIGPORT_H
-#define MICROPY_INCLUDED_STM32_CYW43_CONFIGPORT_H
+#ifndef MICROPY_INCLUDED_MIMXRT_CYW43_CONFIGPORT_H
+#define MICROPY_INCLUDED_MIMXRT_CYW43_CONFIGPORT_H
 
 // The board-level config will be included here, so it can set some CYW43 values.
 #include "py/mpconfig.h"
@@ -152,4 +152,4 @@ static inline int cyw43_sdio_transfer_cmd53(bool write, uint32_t block_size, uin
 
 #define CYW43_EVENT_POLL_HOOK MICROPY_EVENT_POLL_HOOK
 
-#endif // MICROPY_INCLUDED_STM32_CYW43_CONFIGPORT_H
+#endif // MICROPY_INCLUDED_MIMXRT_CYW43_CONFIGPORT_H
diff --git a/ports/mimxrt/pendsv.h b/ports/mimxrt/pendsv.h
index f3369b07fe..d68c5aa2d5 100644
--- a/ports/mimxrt/pendsv.h
+++ b/ports/mimxrt/pendsv.h
@@ -23,8 +23,8 @@
  * OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN
  * THE SOFTWARE.
  */
-#ifndef MICROPY_INCLUDED_STM32_PENDSV_H
-#define MICROPY_INCLUDED_STM32_PENDSV_H
+#ifndef MICROPY_INCLUDED_MIMXRT_PENDSV_H
+#define MICROPY_INCLUDED_MIMXRT_PENDSV_H
 
 enum {
     PENDSV_DISPATCH_SOFT_TIMER,  // For later & for having at least one entry
@@ -45,4 +45,4 @@ typedef void (*pendsv_dispatch_t)(void);
 void pendsv_init(void);
 void pendsv_schedule_dispatch(size_t slot, pendsv_dispatch_t f);
 
-#endif // MICROPY_INCLUDED_STM32_PENDSV_H
+#endif // MICROPY_INCLUDED_MIMXRT_PENDSV_H