Home
last modified time | relevance | path

Searched refs:TCR_EPD1_MASK (Results 1 – 5 of 5) sorted by relevance

/OK3568_Linux_fs/kernel/arch/arm64/kvm/hyp/nvhe/
H A Dtlb.c31 val |= TCR_EPD1_MASK | TCR_EPD0_MASK; in __tlb_switch_to_guest()
H A Dswitch.c89 write_sysreg_el1(val | TCR_EPD1_MASK | TCR_EPD0_MASK, SYS_TCR); in __deactivate_traps()
/OK3568_Linux_fs/kernel/arch/arm64/kvm/hyp/vhe/
H A Dtlb.c37 val |= TCR_EPD1_MASK | TCR_EPD0_MASK; in __tlb_switch_to_guest()
/OK3568_Linux_fs/kernel/arch/arm64/kvm/hyp/include/hyp/
H A Dsysreg-sr.h95 TCR_EPD1_MASK | TCR_EPD0_MASK), in __sysreg_restore_el1_state()
/OK3568_Linux_fs/kernel/arch/arm64/include/asm/
H A Dpgtable-hwdef.h199 #define TCR_EPD1_MASK (UL(1) << TCR_EPD1_SHIFT) macro