Lines Matching refs:write_scr_el3
1377 write_scr_el3(scr_el3 | SCR_NS_BIT);
1382 write_scr_el3(scr_el3);
1389 write_scr_el3(scr_el3 & ~SCR_NS_BIT);
1391 write_scr_el3(scr_el3 | SCR_NS_BIT);
1399 write_scr_el3(scr_el3);
1411 write_scr_el3(scr_el3 | SCR_NS_BIT);
1416 write_scr_el3(scr_el3);
1423 write_scr_el3(scr_el3 & ~SCR_NS_BIT);
1425 write_scr_el3(scr_el3 | SCR_NS_BIT);
1433 write_scr_el3(scr_el3);