B_BE_TXSB_80M_MASK
val32 = u32_replace_bits(val32, S_BE_TXSB_80M_2, B_BE_TXSB_80M_MASK);
val32 = u32_replace_bits(val32, S_BE_TXSB_80M_0, B_BE_TXSB_80M_MASK);
u32_encode_bits(txsb80, B_BE_TXSB_80M_MASK);