pmap_type_guest
if (pmap_type_guest(pmap))
if (pmap_type_guest(pmap)) {
if (pmap_type_guest(pmap)) {
if (pmap_type_guest(pmap)) {
if (pmap == kernel_pmap || pmap_type_guest(pmap))