arm_spe_disable
arm_spe_disable, smp_no_rendezvous_barrier, NULL);
arm_spe_disable(NULL);
arm_spe_disable(NULL);
arm_spe_disable, smp_no_rendezvous_barrier, NULL);
void arm_spe_disable(void *arg __unused);