Home
last modified time | relevance | path

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

/titanic_50/usr/src/uts/i86pc/dboot/
H A Ddboot_startkern.c1660 build_page_tables(void) in build_page_tables() function
2191 build_page_tables(); in startup_kernel()