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