KVM_NR_SPSR
__u64 spsr[KVM_NR_SPSR];
KVM_REG_ARM_CORE_REG(spsr[KVM_NR_SPSR - 1]):
__u64 spsr[KVM_NR_SPSR];
KVM_REG_ARM_CORE_REG(spsr[KVM_NR_SPSR - 1]):
TEST_ASSERT(idx < KVM_NR_SPSR, "%s: Unexpected spsr index: %lld", prefix, idx);