bfe_chip_halt
bfe_chip_halt(bfe);
static void bfe_chip_halt(bfe_t *);
bfe_chip_halt(bfe);
bfe_chip_halt(bfe);
bfe_chip_halt(bfe);
bfe_chip_halt(bfe);
bfe_chip_halt(bfe);
bfe_chip_halt(bfe);
bfe_chip_halt(bfe);