KVM_REG_ARM_DEMUX_ID_MASK
switch (id & KVM_REG_ARM_DEMUX_ID_MASK) {
TEST_ASSERT(!(id & ~(REG_MASK | KVM_REG_ARM_DEMUX_ID_MASK | KVM_REG_ARM_DEMUX_VAL_MASK)),