cs4231_ebus_halt_output
.halt_output = cs4231_ebus_halt_output,
static int cs4231_ebus_halt_output(void *);