Home
last modified time | relevance | path

Searched defs:STARTUP_PAGETABLE_ADDR (Results 1 – 8 of 8) sorted by relevance

/netbsd-src/sys/arch/evbarm/mmnet/
H A Dmmnet_start.S169 #define STARTUP_PAGETABLE_ADDR 0x20000000 /* aligned 16kByte */ macro
/netbsd-src/sys/arch/evbarm/lubbock/
H A Dlubbock_start.S150 #define STARTUP_PAGETABLE_ADDR 0xa0004000 macro
/netbsd-src/sys/arch/evbarm/g42xxeb/
H A Dg42xxeb_start.S150 #define STARTUP_PAGETABLE_ADDR 0xa0004000 macro
/netbsd-src/sys/arch/evbarm/mpcsa/
H A Dmpcsa_start.S154 #define STARTUP_PAGETABLE_ADDR 0x20100000 + 0x4000 macro
/netbsd-src/sys/arch/evbarm/gumstix/
H A Dgumstix_start.S213 #define STARTUP_PAGETABLE_ADDR 0xa0000000 /* aligned 16kByte */ macro
/netbsd-src/sys/arch/evbarm/marvell/
H A Dmarvell_start.S260 #define STARTUP_PAGETABLE_ADDR 0x00004000 /* aligned 16kByte */ macro
/netbsd-src/sys/arch/epoc32/epoc32/
H A Depoc32_start.S225 #define STARTUP_PAGETABLE_ADDR 0xc0000000 /* aligned 16kByte */ macro
/netbsd-src/sys/arch/evbarm/armadaxp/
H A Darmadaxp_machdep.c139 #define STARTUP_PAGETABLE_ADDR 0x00000000UL macro