/* Check for obligatory CPU features and abort if the features are not present.  */
static char* cpu_name(int level)
/* Check for obligatory CPU features and abort if the features are not present.  */
static char* cpu_name(int level)
{
	static char buf[6];
	if (level == 64) {
		return "x86-64";
	} else {
		if (level == 15)
			level = 6;
		sprintf(buf, "i%d86", level);
		return buf;
	}
}