PKT_2_INT_MASK_N
hdmirx_update_bits(hdmirx_dev, PKT_2_INT_MASK_N,
pk2_mask = hdmirx_readl(hdmirx_dev, PKT_2_INT_MASK_N);
hdmirx_update_bits(hdmirx_dev, PKT_2_INT_MASK_N,
hdmirx_update_bits(hdmirx_dev, PKT_2_INT_MASK_N,
hdmirx_writel(hdmirx_dev, PKT_2_INT_MASK_N, 0);