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);257 processor_to_datastring(const char *prefix, processor_t target_processor) in processor_to_datastring() argument260 uint32_t cpu_num = target_processor->cpu_id; in processor_to_datastring()272 target_processor->state, in processor_to_datastring()279 target_processor->processor_set->pending_AST_URGENT_cpu_mask, in processor_to_datastring()
96 const char *processor_to_datastring(const char *prefix, processor_t target_processor);