76 endfunc read_par_el1  label
80 endfunc write_par_el1  label
84 endfunc read_ttbr0_el1  label
88 endfunc write_ttbr0_el1  label
92 endfunc read_ttbr1_el1  label
96 endfunc write_ttbr1_el1  label
100 endfunc read_ttbr0_el2  label
104 endfunc write_ttbr0_el2  label
108 endfunc read_ttbr1_el2  label
112 endfunc write_ttbr1_el2  label
116 endfunc read_vttbr_el2  label
120 endfunc write_vttbr_el2  label
124 endfunc read_rcwmask_el1  label
128 endfunc write_rcwmask_el1  label
132 endfunc read_rcwsmask_el1  label
136 endfunc write_rcwsmask_el1  label