Buenas,
Respecto a la propiedad en referencia:
1- ¿Debería verificar que el hipervisor este corriendo para el caso que la pagina actual pertenezca al hipervisor o predico solo para el caso que hay un os corriendo?
2- ¿Debo considerar el caso que la pagina actual no tenga dueño o es un caso de error para el cual el predicado no debería ser cierto?
Gracias.