26 	uint64_t v;  in spe_init_el3()  local
41 	v = read_mdcr_el3();  in spe_init_el3()
42 	v |= MDCR_NSPB(MDCR_NSPB_EL1) | MDCR_EnPMSN_BIT;  in spe_init_el3()
43 	v &= ~(MDCR_NSPBE_BIT);  in spe_init_el3()
44 	write_mdcr_el3(v);  in spe_init_el3()
49 	uint64_t v;  in spe_init_el2_unused()  local
59 	v = read_mdcr_el2();  in spe_init_el2_unused()
60 	v &= ~MDCR_EL2_TPMS;  in spe_init_el2_unused()
61 	v |= MDCR_EL2_E2PB(MDCR_EL2_E2PB_EL1);  in spe_init_el2_unused()
62 	write_mdcr_el2(v);  in spe_init_el2_unused()
67 	uint64_t v;  in spe_disable()  local
74 	v = read_pmblimitr_el1();  in spe_disable()
75 	v &= ~(1ULL << 0);  in spe_disable()
76 	write_pmblimitr_el1(v);  in spe_disable()