Searched refs:setaside (Results 1 – 1 of 1) sorted by relevance
1729 protect_boot_range(uintptr_t low, uintptr_t high, int setaside) in protect_boot_range() argument1746 if (setaside == 0) in protect_boot_range()