Searched defs:tcr_el1 (Results 1 – 2 of 2) sorted by relevance
245 uint64_t sctlr_el1, tcr_el1, ttbr0_el1; in aarch64_vcpu_setup() local
650 "tcr_el1": { "type": "integer" }, object