Exemplo n.º 1
0
inline uint32_t get_efika_rev(void)
{
	if (machine_is_efikamx())
		return get_efikamx_rev();
	else
		return get_efikasb_rev();
}
Exemplo n.º 2
0
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;
}
Exemplo n.º 3
0
u32 get_board_rev(void)
{
	return get_cpu_rev() | (get_efikamx_rev() << 8);
}