Symbol: KVM_ARCH_FLAG_TIMER_PPIS_IMMUTABLE
arch/arm64/kvm/arch_timer.c
1514
set_bit(KVM_ARCH_FLAG_TIMER_PPIS_IMMUTABLE, &vcpu->kvm->arch.flags);
arch/arm64/kvm/arch_timer.c
1611
if (test_bit(KVM_ARCH_FLAG_TIMER_PPIS_IMMUTABLE,