var bv32decoder_8c = [ [ "BV_DECLARE", "bv32decoder_8c.html#a5296237c7aa0eaff00c42799c0d10079", null ], [ "BV_DECLARE", "bv32decoder_8c.html#af4eaa0b0026f8874d65fd47633f97315", null ] ];
var bv32decoder_8c = [ [ "BV_DECLARE", "bv32decoder_8c.html#a5296237c7aa0eaff00c42799c0d10079", null ], [ "BV_DECLARE", "bv32decoder_8c.html#af4eaa0b0026f8874d65fd47633f97315", null ] ];