Symbol: jtag_bf_extract