Searched refs:bl31_warmboot (Results 1 – 3 of 3) sorted by relevance
21 void bl31_warmboot(void);
201 bl bl31_warmboot
241 void __no_pauth bl31_warmboot(void) in bl31_warmboot() function