Searched refs:mpuConfig (Results 1 – 3 of 3) sorted by relevance
36 void MPU_enableModule(uint32_t mpuConfig) in MPU_enableModule() argument41 ASSERT(!(mpuConfig & ~(MPU_CONFIG_PRIV_DEFAULT | MPU_CONFIG_HARDFLT_NMI))); in MPU_enableModule()47 MPU->CTRL = mpuConfig | MPU_CTRL_ENABLE_Msk; in MPU_enableModule()
179 extern void MPU_enableModule(uint32_t mpuConfig);
1375 ((void (*)(uint32_t mpuConfig))ROM_MPUTABLE[0])