scx_arena_free
void scx_arena_free(struct scx_sched *sch, void *kern_va, size_t size);
scx_arena_free(sch, *slot, size);