![he](/assets/img/avatar_default.png)
pool_init() is supposed to do, and actual usage of that argument in pool_init()'s implementation, add use of IPL_VM to the TLB shootdown job queue pool initialization to get this building again. Someone suggested an IPL_XXX_ASK_ANDY constant be introduced...