page_retire_pend_count
uint64_t page_retire_pend_count(void);
if ((page_retire_pend_count() > page_retire_pend_kas_count()) &&
if (!page_retire_pend_count())