Searched refs:high_table_reserve (Results 1 – 3 of 3) sorted by relevance
267 high_table_reserve(); in reserve_arch()
14 int high_table_reserve(void) in high_table_reserve() function
303 int high_table_reserve(void);