BASE_ADDR_MATCH_TAG_VAL
BASE_ADDR_MATCH_TAG_VAL);
BASE_ADDR_MATCH_TAG_VAL));
le32_encode_bits(BASE_ADDR_MATCH_TAG_VAL,
val = u32_encode_bits(BASE_ADDR_MATCH_TAG_VAL,