pub const ARCH_GET_CPUID: u32 = 4113; // 4_113u32