Searched refs:bl31_warmboot (Results 1 – 2 of 2) sorted by relevance
| /rk3399_ARM-atf/bl31/aarch64/ | ||
| H A D | bl31_entrypoint.S | 172 bl bl31_warmboot |
| /rk3399_ARM-atf/bl31/ | ||
| H A D | bl31_main.c | 240 void __no_pauth bl31_warmboot(void) in bl31_warmboot() function |