Searched refs:os_page_detect (Results 1 – 1 of 1) sorted by relevance
402 os_page_detect(void) { in os_page_detect() function577 os_page = os_page_detect(); in pages_boot()