How to multiplex bits in PUCCH when HARQ +SR + CSI all 3 need to send?

Hello Experts.

How to multiplex bits in PUCCH when HARQ +SR + CSI all 3 need to send?

Any spec section which has such detail?

You can refer 38.213 and 38.211.