B_BE_WL_XTAL_SI_ADDR_MASK
val32 = u32_encode_bits(offset, B_BE_WL_XTAL_SI_ADDR_MASK) |
(u32_get_bits(val32, B_BE_WL_XTAL_SI_ADDR_MASK) != offset ||
val32 = u32_encode_bits(offset, B_BE_WL_XTAL_SI_ADDR_MASK) |
u32_get_bits(val32, B_BE_WL_XTAL_SI_ADDR_MASK) != offset)