unregister_int
unregister_int(id, cpuid);
unregister_int(id, 0);
unregister_int(sci_desc, 0);
unregister_int(clkdesc, 0);
unregister_int(ih, rman_get_cpuid(r));
void unregister_int(void *id, int cpuid);