kvm_read_sanitised_id_reg
u64 sanitized_val = kvm_read_sanitised_id_reg(vcpu, rd);
.reset = kvm_read_sanitised_id_reg