Symbol: decrement_page_wired_count