Searched refs:cfe_die (Results 1 – 3 of 3) sorted by relevance
106 __printf(1, 2) void cfe_die(char *fmt, ...);
191 cfe_die("no dtb found"); in plat_mem_setup()
421 void __init cfe_die(char *fmt, ...) in cfe_die() function