KCS_IBF           659 dev/ipmi.c     		while (bmc_read(sc, _KCS_STATUS_REGISTER) & KCS_IBF)
KCS_IBF           675 dev/ipmi.c     	return (kcs_wait(sc, KCS_IBF, 0, "write_cmd"));
KCS_IBF           685 dev/ipmi.c     	return (kcs_wait(sc, KCS_IBF, 0, "write_data"));
KCS_IBF           693 dev/ipmi.c     	sts = kcs_wait(sc, KCS_IBF | KCS_OBF, KCS_OBF, "read_data");
KCS_IBF           743 dev/ipmi.c     	sts = kcs_wait(sc, KCS_IBF, 0, "recv");
KCS_IBF           772 dev/ipmi.c     	printf(" IBF: %2x\n", v & KCS_IBF);