Ejemplo n.º 1
0
static uint32_t target_read_boot_config()
{
	uint32_t val;

	val = readl(BOOT_CONFIG_REG);

	val = BOOT_DEVICE_MASK(val);

	return val;
}
Ejemplo n.º 2
0
void platform_read_boot_config()
{
	boot_device = BOOT_DEVICE_MASK(readl(BOOT_CONFIG_REG));
}