CAS_RC1_SPLIT_PKT
KASSERT((word1 & CAS_RC1_SPLIT_PKT) == 0 ||
if ((word1 & CAS_RC1_SPLIT_PKT) != 0) {
if ((word1 & CAS_RC1_SPLIT_PKT) != 0 &&