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