113 int kvm_arch_init_vm(struct kvm *kvm, unsigned long type)  in kvm_arch_init_vm()
153 void kvm_arch_destroy_vm(struct kvm *kvm)  in kvm_arch_destroy_vm()
169 int kvm_vm_ioctl_check_extension(struct kvm *kvm, long ext)  in kvm_vm_ioctl_check_extension()
213 struct kvm_vcpu *kvm_arch_vcpu_create(struct kvm *kvm, unsigned int id)  in kvm_arch_vcpu_create()
374 static bool need_new_vmid_gen(struct kvm *kvm)  in need_new_vmid_gen()
387 static void update_vttbr(struct kvm *kvm)  in update_vttbr()
441 	struct kvm *kvm = vcpu->kvm;  in kvm_vcpu_first_run_init()  local
470 bool kvm_arch_intc_initialized(struct kvm *kvm)  in kvm_arch_intc_initialized()
624 int kvm_vm_ioctl_irq_line(struct kvm *kvm, struct kvm_irq_level *irq_level,  in kvm_vm_ioctl_irq_line()
825 int kvm_vm_ioctl_get_dirty_log(struct kvm *kvm, struct kvm_dirty_log *log)  in kvm_vm_ioctl_get_dirty_log()
841 static int kvm_vm_ioctl_set_device_addr(struct kvm *kvm,  in kvm_vm_ioctl_set_device_addr()
862 	struct kvm *kvm = filp->private_data;  in kvm_arch_vm_ioctl()  local
1085 struct kvm_vcpu *kvm_mpidr_to_vcpu(struct kvm *kvm, unsigned long mpidr)  in kvm_mpidr_to_vcpu()