How many bytes are we talking per CPU here? If it's less than 1K per CPU, let's just statically allocate four of 'em, and revisit the issue when sun4d support shows up (if it ever does). Heck, a simple KASSERT will remind us when the time comes. one page each. iirc. .mrg.