kvm_arch_get_registers() shouldn't be called directly