3840 /* * Will be accessed by other CPUs. */ /* next cpu */