xref: /freebsd-13.1/sys/arm/include/cpu.h (revision 63fb0d3b)