Searched defs:el1r (Results 1 – 1 of 1) sorted by relevance
98 unsigned int *el1r, u64 (**xlate)(u64)) in get_el2_to_el1_mapping()142 unsigned int el1r; in vcpu_read_sys_reg() local185 unsigned int el1r; in vcpu_write_sys_reg() local