awacs_halt_output
int awacs_halt_output(void *);
.halt_output = awacs_halt_output,
awacs_halt_output(sc);