pub const ARCH_GET_CPUID: u32 = 4113;