void cpuidprint(void) { char name[64]; cputype2name(name, sizeof name); print("cpu%d: %lldMHz ARM %s\n", m->machno, m->cpuhz/1000000, name); }
static long cputyperead(Chan*, void *a, long n, vlong offset) { char name[64], str[128]; cputype2name(name, sizeof name); snprint(str, sizeof str, "ARM %s %llud\n", name, m->cpuhz / Mhz); return readstr(offset, a, n, str); }
void cpuidprint(void) { char name[64]; cputype2name(name, sizeof name); delay(50); /* let uart catch up */ print("cpu%d: %dMHz ARM %s\n", m->machno, m->cpumhz, name); }
void cpuidprint(void) { char name[64]; cputype2name(name, sizeof name); delay(50); /* let uart catch up */ iprint("cpu%d: %lldMHz ARM %s %s-endian\n", m->machno, m->cpuhz / Mhz, name, getpsr() & PsrBigend? "big": "little"); }