rk_dte_is_pt_valid
if (rk_dte_is_pt_valid(dte)) {
if (!rk_dte_is_pt_valid(dte))
rk_dte_is_pt_valid(dte), &pte_addr_phys, pte,
if (!rk_dte_is_pt_valid(dte))
if (rk_dte_is_pt_valid(dte))
if (!rk_dte_is_pt_valid(dte)) {