Searched refs:exclaves_get_boot_status_string (Results 1 – 3 of 3) sorted by relevance
77 extern const char *exclaves_get_boot_status_string(void);
267 paniclog_append_noflush("Exclaves boot status: %s\n", exclaves_get_boot_status_string()); in exclaves_panic_append_info()
402 exclaves_get_boot_status_string(void) in exclaves_get_boot_status_string() function