ARM® Cortex™-A Series Programmer’s Guide -V4.0