Lines Matching +full:0 +full:x08010000

6 As of GNU/Linux v5.12 kernel device tree binary grows above 0x08008000
23 +#define KERNEL_ADDR     0x08010000
31 …t reserved, uint32_t mach, uint32_t dt) = (void (*)(uint32_t, uint32_t, uint32_t))(0x08008000 | 1);
34  	kernel(0, ~0UL, 0x08004000);
37  	volatile uint32_t *SYSCFG_MEMRMP = (void *)(SYSCFG_BASE + 0x00);
40 -	mpu_config(0x0);
41 +	mpu_config(0xc0000000);
44  		*FLASH_KEYR = 0x45670123;
49 -	*SYSCFG_MEMRMP = 0x4;
53  	return 0;
55 2.32.0