rocket_core_fini
rocket_core_fini(core);
void rocket_core_fini(struct rocket_core *core);
rocket_core_fini(&rdev->cores[core]);