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