Searched refs:high_table_reserve (Results 1 – 3 of 3) sorted by relevance
278 high_table_reserve(); in reserve_arch()
15 int high_table_reserve(void) in high_table_reserve() function
304 int high_table_reserve(void);