Searched refs:clear_boot_mappings (Results 1 – 3 of 3) sorted by relevance
232 extern void clear_boot_mappings(uintptr_t, uintptr_t);
4536 clear_boot_mappings(uintptr_t low, uintptr_t high) in clear_boot_mappings() function
2369 clear_boot_mappings(0, _userlimit); in release_bootstrap()