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);259 processor_to_datastring(const char *prefix, processor_t target_processor) in processor_to_datastring() function
94 const char *processor_to_datastring(const char *prefix, processor_t target_processor);11923 const char *sbuf = processor_to_datastring("halting all non-boot CPUs",