HomeSort by: relevance | last modified time | path
    Searched defs:STARTUP_PAGETABLE_ADDR (Results 1 - 8 of 8) sorted by relevancy

  /src/sys/arch/evbarm/mmnet/
mmnet_start.S 168 #ifndef STARTUP_PAGETABLE_ADDR
169 #define STARTUP_PAGETABLE_ADDR 0x20000000 /* aligned 16kByte */
172 .word STARTUP_PAGETABLE_ADDR
  /src/sys/arch/evbarm/g42xxeb/
g42xxeb_start.S 149 #ifndef STARTUP_PAGETABLE_ADDR
150 #define STARTUP_PAGETABLE_ADDR 0xa0004000
152 Lstartup_pagetable .word STARTUP_PAGETABLE_ADDR
  /src/sys/arch/evbarm/gumstix/
gumstix_start.S 212 #ifndef STARTUP_PAGETABLE_ADDR
213 #define STARTUP_PAGETABLE_ADDR 0xa0000000 /* aligned 16kByte */
216 .word STARTUP_PAGETABLE_ADDR
  /src/sys/arch/evbarm/lubbock/
lubbock_start.S 149 #ifndef STARTUP_PAGETABLE_ADDR
150 #define STARTUP_PAGETABLE_ADDR 0xa0004000
153 .word STARTUP_PAGETABLE_ADDR
  /src/sys/arch/evbarm/marvell/
marvell_start.S 259 #ifndef STARTUP_PAGETABLE_ADDR
260 #define STARTUP_PAGETABLE_ADDR 0x00004000 /* aligned 16kByte */
263 .word STARTUP_PAGETABLE_ADDR
  /src/sys/arch/evbarm/mpcsa/
mpcsa_start.S 154 #define STARTUP_PAGETABLE_ADDR 0x20100000 + 0x4000
157 .word STARTUP_PAGETABLE_ADDR
  /src/sys/arch/epoc32/epoc32/
epoc32_start.S 225 #define STARTUP_PAGETABLE_ADDR 0xc0000000 /* aligned 16kByte */
226 .word STARTUP_PAGETABLE_ADDR
  /src/sys/arch/evbarm/armadaxp/
armadaxp_machdep.c 138 #ifndef STARTUP_PAGETABLE_ADDR
139 #define STARTUP_PAGETABLE_ADDR 0x00000000UL

Completed in 16 milliseconds