l3pte_valid
if (l3pte_valid(opte)) {
if (!l3pte_valid(opte))
if (!l3pte_valid(pte) ||
if (!l3pte_valid(pte)) {
if (!l3pte_valid(pte))
if (!l3pte_valid(pte))
if (!l3pte_valid(pte))
if (!l3pte_valid(pte))
if (!l3pte_valid(opte)) {
if (!l3pte_valid(opte)) {
if (!l3pte_valid(l3[idx]))
if (l3pte_valid(l3[idx3]) && l3[idx3] != pte) {
if (!l3pte_valid(pde)) {
return l3pte_valid(pte);
return l3pte_valid(pte);