ZSTAT_CPU_ZONE_FORMAT
(void) printf(ZSTAT_CPU_ZONE_FORMAT, "USED", "PCT", "CAP",
(void) printf(ZSTAT_CPU_ZONE_FORMAT, used_str,