CXL_HDM_DECODER0_SKIP_HIGH
hi = readl(hdm + CXL_HDM_DECODER0_SKIP_HIGH(which));
void __iomem *sk_hi = hdm + CXL_HDM_DECODER0_SKIP_HIGH(id);