PTE_ISVALID
if (PTE_ISVALID(pte)) {
if (!PTE_ISVALID(pte)) {
(PTE_ISVALID(pte)) && (PTE_PA(pte) == pa)) {
if ((pte == NULL) || !PTE_ISVALID(pte))
if (PTE_ISVALID(pte)) {
if (PTE_ISVALID(pte)) {
if ((pte != NULL) && PTE_ISVALID(pte)) {
PTE_ISVALID(pte)) {
PTE_ISVALID(pte)) {
PTE_ISVALID(pte)) {
PTE_ISVALID(pte)) {
PTE_ISVALID(pte)) {
if (PTE_ISVALID(pte) && PTE_ISWIRED(pte))
if (pte != NULL && PTE_ISVALID(pte))
if (pte == NULL || !PTE_ISVALID(pte))
if (pte == NULL || !PTE_ISVALID(pte))
if (pte == NULL || !PTE_ISVALID(pte))
if (PTE_ISVALID(pte)) {
if ((pte != NULL) && PTE_ISVALID(pte))
if (!PTE_ISVALID(pte))
valid = (pte != NULL && PTE_ISVALID(pte)) ? 1 : 0;
if (!PTE_ISVALID(pte))
if (!PTE_ISVALID(pte))
if (PTE_ISVALID(pte)) {
if ((pte != NULL) && PTE_ISVALID(pte))
valid = (pte != NULL && PTE_ISVALID(pte)) ? 1 : 0;