Searched refs:get_tcr (Results 1 – 1 of 1) sorted by relevance
929 static uint64_t get_tcr(int el) in get_tcr() function968 write_tcr_el1(get_tcr(1)); in enable_mmu_el1()