sanitise_id_aa64pfr0_el1
static u64 sanitise_id_aa64pfr0_el1(const struct kvm_vcpu *vcpu, u64 val);
val = sanitise_id_aa64pfr0_el1(vcpu, val);