mirror of
https://github.com/FreeRTOS/FreeRTOS-Kernel.git
synced 2026-04-22 14:40:06 +02:00
These definitions were not useful because the corresponding mapping was removed from mpu_wrappers.h earlier. Signed-off-by: Gaurav Aggarwal <aggarg@amazon.com>