gerrit.cesnet.cz / github / trini / u-boot / 880b15a37b22ce516b24460e4bbedd9a6b055625 / arch / arm / cpu / armv7m / cpu.c