Searched refs:witness_startup_count (Results 1 – 3 of 3) sorted by relevance
249 int witness_startup_count(void);
776 witness_startup_count(void) in witness_startup_count() function
590 witness_size = round_page(witness_startup_count()); in vm_page_startup()