Searched refs:processor_to_datastring (Results 1 – 2 of 2) sorted by relevance
53 const char *processor_to_datastring(const char *prefix, processor_t target_processor);257 processor_to_datastring(const char *prefix, processor_t target_processor) in processor_to_datastring() function
96 const char *processor_to_datastring(const char *prefix, processor_t target_processor);12031 const char *sbuf = processor_to_datastring("halting all non-boot CPUs",