Generated stub for wait_index_name */
| 377 | { fprintf(stderr, "wait_index_increment called!\n"); abort(); } |
| 378 | /* Generated stub for wait_index_name */ |
| 379 | const char *wait_index_name(enum wait_index index UNNEEDED) |
| 380 | { fprintf(stderr, "wait_index_name called!\n"); abort(); } |
| 381 | /* Generated stub for wait_subsystem_name */ |
| 382 | const char *wait_subsystem_name(enum wait_subsystem subsystem UNNEEDED) |
| 383 | { fprintf(stderr, "wait_subsystem_name called!\n"); abort(); } |
no test coverage detected