4 typedef unsigned int reg32;
5 typedef unsigned short reg16;
16 } __attribute__((packed)) registers;
24 void cpu_w_cr0(reg32 v);
26 void cpu_w_cr2(reg32 v);
28 void cpu_w_cr3(reg32 v);
30 void cpu_get_model(char* model_out);
32 int cpu_brand_string_supported();
34 void cpu_get_brand(char* brand_out);
36 #endif /* __LUNAIX_CPU_H */