processor_info
state = (processor_info(cpuid, &cpu_info) == 0) ?
if (processor_info(id, &cpu_info) >= 0) {
if (processor_info(id, &cpu_info) >= 0) {
/* 188 */ SYSENT_CI("processor_info", processor_info, 2),
int processor_info(processorid_t, processor_info_t *);
/* 188 */ SYSENT_CI("processor_info", processor_info, 2),
extern int processor_info(processorid_t processorid,