arch_prctl$ARCH_GET_CPUID(0x1025)