Searched refs:target_processor (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() argument262 uint32_t cpu_num = target_processor->cpu_id; in processor_to_datastring()274 target_processor->state, in processor_to_datastring()281 target_processor->processor_set->pending_AST_URGENT_cpu_mask, in processor_to_datastring()
90 const char *processor_to_datastring(const char *prefix, processor_t target_processor);