inline uint32_t get_efika_rev(void) { if (machine_is_efikamx()) return get_efikamx_rev(); else return get_efikasb_rev(); }
int checkboard(void) { u32 rev = get_efikamx_rev(); printf("Board: Genesi Efika MX "); if (machine_is_efikamx()) printf("Smarttop (1.%i)\n", rev & 0xf); else if (machine_is_efikasb()) printf("Smartbook\n"); return 0; }
u32 get_board_rev(void) { return get_cpu_rev() | (get_efikamx_rev() << 8); }