Searched refs:machbuf (Results 1 – 1 of 1) sorted by relevance
304 char machbuf[16]; in identifycpu() local307 snprintf(machbuf, sizeof(machbuf), "DraCo rev.%d", is_draco()); in identifycpu()308 mach = machbuf; in identifycpu()