GT_CPUMode_CPUType_GET
switch (GT_CPUMode_CPUType_GET(cpumode)) {
aprint_normal(", %#x(?) bus", GT_CPUMode_CPUType_GET(cpumode));