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