mirror of
https://gitlab.rtems.org/rtems/rtos/rtems.git
synced 2026-09-03 17:46:48 +08:00
The arm_cp15 function for accessing the current CPU index is specific to ARMv7 while this header is used for ARMv8 as well. Instead, use a generic accessor that is part of the standard CPU API.