arm11_drain_writebuf
.cf_drain_writebuf = arm11_drain_writebuf,
.cf_drain_writebuf = arm11_drain_writebuf,
.cf_drain_writebuf = arm11_drain_writebuf,
.cf_drain_writebuf = arm11_drain_writebuf,
void arm11_drain_writebuf (void);