pmap_convert
pmap_convert(vm->vm_pmap, PMAP_TYPE_EPT);
pmap_convert(vm->vm_pmap, PMAP_TYPE_RVI);
void pmap_convert(struct pmap *, int);