| 386 | } |
| 387 | |
| 388 | static const char *region_name(unsigned int region_type) |
| 389 | { |
| 390 | if (region_type >= max_regions) { |
| 391 | fprintf(stderr, "Invalid region type.\n"); |
| 392 | exit(EXIT_FAILURE); |
| 393 | } |
| 394 | |
| 395 | return region_names[region_type].pretty; |
| 396 | } |
| 397 | |
| 398 | static int region_num(const char *name) |
| 399 | { |
no test coverage detected