Searched full:bl31 (Results 1 – 4 of 4) sorted by relevance
99 /* TFA BL31. */100 tfa-bl31@8c200000 {
138 /* 192 KiB reserved for ARM Trusted Firmware (BL31) */
772 * ROCKCHIP_DDRCLK_SIP: use SIP call to bl31 to change ddrclk rate.
296 - 06: ATF BL31 firmware booting