HW_IPC_PPCMSG_INDEX_OUT_MASK
(in32(HW_IPC_PPCMSG) & ~HW_IPC_PPCMSG_INDEX_OUT_MASK) |
__SHIFTIN(index_out, HW_IPC_PPCMSG_INDEX_OUT_MASK));
index_out = __SHIFTOUT(in32(HW_IPC_PPCMSG), HW_IPC_PPCMSG_INDEX_OUT_MASK);