sys/arch/epoc32/epoc32/epoc32_start.S

225

#define STARTUP_PAGETABLE_ADDR 0xc0000000 /* aligned 16kByte */

sys/arch/evbarm/armadaxp/armadaxp_machdep.c

139

#define STARTUP_PAGETABLE_ADDR 0x00000000UL

sys/arch/evbarm/g42xxeb/g42xxeb_start.S

150

#define STARTUP_PAGETABLE_ADDR 0xa0004000

sys/arch/evbarm/gumstix/gumstix_start.S

213

#define STARTUP_PAGETABLE_ADDR 0xa0000000 /* aligned 16kByte */

sys/arch/evbarm/lubbock/lubbock_start.S

150

#define STARTUP_PAGETABLE_ADDR 0xa0004000

sys/arch/evbarm/marvell/marvell_start.S

260

#define STARTUP_PAGETABLE_ADDR 0x00004000 /* aligned 16kByte */

sys/arch/evbarm/mmnet/mmnet_start.S

169

#define STARTUP_PAGETABLE_ADDR 0x20000000 /* aligned 16kByte */

sys/arch/evbarm/mpcsa/mpcsa_start.S

154

#define STARTUP_PAGETABLE_ADDR 0x20100000 + 0x4000