Instant Pot Pork Tenderloin w Mashed Potatoes! Gravy

INGREDIENTS

1 tbsp

vegetable oil

2 lb

pork tenderloin

2 cups

chicken broth (divided)

medium to large potatoes (peeled and quartered)

4 tbsp

butter (softened)

1/2 cup

heavy cream (or whole milk, wamred)

1 tsp

salt (more or less to taste)

1/4 tsp

black pepper (if desired)

3 tbsp

cornstarch + 3 T cold water or broth

1 tsp

salt

1 tsp

garlic powder

1 tsp

onion powder

1/4 tsp

black pepper

1 tsp

dry Italian seasoning

1/2 tsp

paprika (not smoked)