Home
last modified time | relevance | path

Searched refs:initial_page_tables (Results 1 – 1 of 1) sorted by relevance

/netbsd/sys/arch/acorn32/stand/boot32/
H A Dboot32.c90 u_long *initial_page_tables; /* pagetables to be booted from */ variable
225 initial_page_tables = alloc(16*1024); in init_datastructures()
226 if (!initial_page_tables) in init_datastructures()
572 initial_page_tables[page] = (page<<20) | section; in create_initial_page_tables()
582 initial_page_tables[0] = top_1Mb_dram | section; in create_initial_page_tables()
591 initial_page_tables[kpage] = (addr << 20) | section; in create_initial_page_tables()
616 src = (u_long)initial_page_tables; in add_pagetables_at_top()