GetCPU returns the caller's current CPU number, without using the Linux VDSO (which is not available to the sentry) or the getcpu(2) system call (which is relatively slow).

MaxPossibleCPU returns the highest possible CPU number, which is guaranteed not to change for the lifetime of the host kernel.