plic_set_threshold
plic_set_threshold(sc, ci->ci_cpuid, 0);
void plic_set_threshold(struct plic_softc *, cpuid_t, uint32_t);