__set_id_reg     1245 arch/arm64/kvm/sys_regs.c 	return __set_id_reg(vcpu, rd, uaddr, false);
__set_id_reg     1257 arch/arm64/kvm/sys_regs.c 	return __set_id_reg(vcpu, rd, uaddr, true);