Searched refs:OS_SetDPermissionsForProtectionRegion (Results 1 – 3 of 3) sorted by relevance
219 void OS_SetDPermissionsForProtectionRegion(u32 setMask, u32 flags);
214 asm void OS_SetDPermissionsForProtectionRegion( register u32 setMask, register u32 flags ) in OS_SetDPermissionsForProtectionRegion() function
854 (void)OS_SetDPermissionsForProtectionRegion(OS_PR3_ACCESS_MASK, dacc); in CTRDG_Enable()