Searched refs:guest_kernel_asid (Results 1 – 5 of 5) sorted by relevance
52 return vcpu->arch.guest_kernel_asid[smp_processor_id()] & ASID_MASK; in kvm_mips_get_kernel_asid()691 guest_kernel_asid[cpu] ^ asid_cache(cpu)) & ASID_VERSION_MASK)) { in kvm_arch_vcpu_load()693 vcpu->arch.guest_kernel_asid[cpu] = in kvm_arch_vcpu_load()703 cpu, vcpu->arch.guest_kernel_asid[cpu]); in kvm_arch_vcpu_load()740 guest_kernel_asid[cpu] & in kvm_arch_vcpu_load()
845 vcpu->arch.guest_kernel_asid[i] = 0; in kvm_mips_invalidate_guest_tlb()1134 vcpu->arch.guest_kernel_asid[i] = 0; in kvm_mips_emulate_CP0()
68 vcpu->arch.guest_kernel_asid[i] = 0; in kvm_mips_reset_vcpu()
438 OFFSET(VCPU_GUEST_KERNEL_ASID, kvm_vcpu_arch, guest_kernel_asid); in output_kvm_defines()
436 uint32_t guest_kernel_asid[NR_CPUS]; member