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.h336 get_vmid(u64 vttbr) get_vmid() argument
/linux/arch/arm64/kvm/
H A Dnested.c561 u64 vttbr, vtcr, hcr; in lookup_s2_mmu() local
H A Dsys_regs.c3282 u64 limit, vttbr; in handle_vmalls12e1is() local
3306 u64 vttbr = vcpu_read_sys_reg(vcpu, VTTBR_EL2); in handle_ripas2e1is() local
3381 u64 vttbr = vcpu_read_sys_reg(vcpu, VTTBR_EL2); in handle_ipas2e1is() local
3407 u64 vttbr = vcpu_read_sys_reg(vcpu, VTTBR_EL2); in handle_tlbi_el1() local
H A Dat.c489 u64 vttbr; member