Searched defs:tcr (Results 1 – 1 of 1) sorted by relevance
110 uint64_t tcr; /* kernel tcr_el1 register value */ member234 sc_va_size_bits(uint64_t tcr) in sc_va_size_bits()241 sc_va_page_size_bits(uint64_t tcr) in sc_va_page_size_bits()