Lomo de cerdo al jerez en olla exprés

Ingredientes
2 kilos de lomo de cerdo
6 dientes de ajo cortados a la mitad
1 ½ cebolla cortada en rodajas
1 cucharada de paprika
1 cucharada de caldo de res en polvo
1 taza de jugo de naranja
1 taza de agua
1 taza de jerez
2 cucharadas de aceite vegetal