Symbol: create_initial_page_tables
sys/arch/acorn32/stand/boot32/boot32.c
137
void create_initial_page_tables(void);
sys/arch/acorn32/stand/boot32/boot32.c
869
create_initial_page_tables();