PVO_EXECUTABLE_P
if (PVO_EXECUTABLE_P(pvo))
if (pm == pmap_kernel() || PVO_EXECUTABLE_P(pvo)) {
if (pm == pmap_kernel() || !PVO_EXECUTABLE_P(pvo)) {
if (pvo != NULL && PVO_EXECUTABLE_P(pvo)) {
if (!PVO_EXECUTABLE_P(pvo))