| 253 | } |
| 254 | |
| 255 | static void |
| 256 | add_cap(char *cap) |
| 257 | { |
| 258 | int len; |
| 259 | |
| 260 | len = strlen(cap); |
| 261 | |
| 262 | if ((hw_buf_idx + len + 2) >= 79) { |
| 263 | printf("%s,\n", hw_buf); |
| 264 | hw_buf_idx = 0; |
| 265 | hw_buf_newline = true; |
| 266 | } |
| 267 | if (hw_buf_newline) |
| 268 | hw_buf_idx += sprintf(hw_buf + hw_buf_idx, " "); |
| 269 | else |
| 270 | hw_buf_idx += sprintf(hw_buf + hw_buf_idx, ", "); |
| 271 | hw_buf_newline = false; |
| 272 | |
| 273 | hw_buf_idx += sprintf(hw_buf + hw_buf_idx, "%s", cap); |
| 274 | } |
| 275 | |
| 276 | void |
| 277 | identify_arm_cpu(void) |
no test coverage detected