Home
last modified time | relevance | path

Searched defs:vttbr (Results 1 – 4 of 4) sorted by relevance

/linux/arch/arm64/include/asm/
H A Dkvm_mmu.h339 static inline u64 get_vmid(u64 vttbr) in get_vmid()
/linux/arch/arm64/kvm/
H A Dat.c541 u64 vttbr; member
H A Dnested.c616 u64 vttbr, vtcr, hcr; in lookup_s2_mmu() local
H A Dsys_regs.c3917 u64 limit, vttbr; in handle_vmalls12e1is() local
3941 u64 vttbr = vcpu_read_sys_reg(vcpu, VTTBR_EL2); in handle_ripas2e1is() local
3996 u64 vttbr = vcpu_read_sys_reg(vcpu, VTTBR_EL2); in handle_ipas2e1is() local