PTE_VALID
if (pvo != NULL && (pvo->pvo_pte.pte.pte_hi & PTE_VALID) &&
rv = pvo == NULL || (pvo->pvo_pte.pte.pte_hi & PTE_VALID) == 0;
if ((pvo->pvo_pte.pte.pte_hi & PTE_VALID) && !PVO_PTEGIDX_ISSET(pvo)) {
if ((pvo->pvo_pte.pte.pte_hi & PTE_VALID) == 0 && PVO_PTEGIDX_ISSET(pvo)) {
if ((pt->pte_hi ^ (pvo->pvo_pte.pte.pte_hi & ~PTE_VALID)) == PTE_VALID) {
if ((pvo->pvo_pte.pte.pte_hi & PTE_VALID) == 0) {
if (pvo->pvo_pte.pte.pte_hi & PTE_VALID) {
if (!(pvo_walk->pvo_pte.pte.pte_hi & PTE_VALID))
if ((pt->pte_hi & PTE_VALID) == 0) {
if ((pt->pte_hi & PTE_VALID) == 0) {
if (pvo != NULL && (pvo->pvo_pte.pte.pte_hi & PTE_VALID))
!(pvo->pvo_pte.pte.pte_hi & PTE_VALID))
return (pt->pte_hi & ~PTE_VALID) ==
pvo_pt->pte_hi |= PTE_VALID;
pvo_pt->pte_hi &= ~PTE_VALID;
pt->pte_hi &= ~PTE_VALID;
flags = PTE_SR | PTE_SW | PTE_SX | PTE_WIRED | PTE_VALID;
flags = (PTE_SR | PTE_VALID);
pte_tmp |= (PTE_VALID | flags | PTE_PS_4KB); /* 4KB pages only */
PTE_VALID | PTE_PS_4KB;
PTE_SR | PTE_VALID, false);
flags = PTE_SR | PTE_SW | PTE_SX | PTE_WIRED | PTE_VALID;
pte_tmp |= (PTE_VALID | flags);
PTE_VALID | PTE_PS_4KB;
#define PTE_ISVALID(pte) ((*pte) & PTE_VALID)