Symbol: rk_pte_is_page_valid