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