64 /* XXX The following should all be per-CPU. */