pub const ARCH_SET_CPUID: u32 = 4114;