workingset_refault
void workingset_refault(struct folio *folio, void *shadow);
workingset_refault(folio, shadow);