Home
last modified time | relevance | path

Searched refs:guest_kernel_asid (Results 1 – 4 of 4) sorted by relevance

/linux-4.1.27/arch/mips/kvm/
Dtlb.c52 return vcpu->arch.guest_kernel_asid[smp_processor_id()] & ASID_MASK; in kvm_mips_get_kernel_asid()
677 guest_kernel_asid[cpu] ^ asid_cache(cpu)) & ASID_VERSION_MASK)) { in kvm_arch_vcpu_load()
679 vcpu->arch.guest_kernel_asid[cpu] = in kvm_arch_vcpu_load()
689 cpu, vcpu->arch.guest_kernel_asid[cpu]); in kvm_arch_vcpu_load()
726 guest_kernel_asid[cpu] & in kvm_arch_vcpu_load()
Dmips.c67 vcpu->arch.guest_kernel_asid[i] = 0; in kvm_mips_reset_vcpu()
/linux-4.1.27/arch/mips/kernel/
Dasm-offsets.c446 OFFSET(VCPU_GUEST_KERNEL_ASID, kvm_vcpu_arch, guest_kernel_asid); in output_kvm_defines()
/linux-4.1.27/arch/mips/include/asm/
Dkvm_host.h432 uint32_t guest_kernel_asid[NR_CPUS]; member