cpucore_rmixl_hatch
cpucore_rmixl_hatch(device_parent(sc->sc_dev));
void cpucore_rmixl_hatch(device_t);