Home
last modified time | relevance | path

Searched refs:TCR_TBI1 (Results 1 – 2 of 2) sorted by relevance

/linux/arch/arm64/kvm/
H A Dpauth.c76 tbi = tcr & TCR_TBI1; in effective_tbi()
H A Dat.c192 FIELD_GET(TCR_TBI1, tcr) : in setup_s1_walk()