Instant Pot Pork Chops

Name: Instant Pot Pork Chops
Prep time: 20 min
Cook time: 20 min
Total time: 40 min
Cuisine: American
Ingredients: 4 Pork loin center chops (2lbs total. Look for bone-in well-marbled about 1.25 inches thick); 2 Tablespoons butter; 1/2 teaspoon smoked paprika; 1/2 teaspoon onion powder; 1/2 teaspoon garlic powder; 3/4 teaspoon black pepper; ½ teaspoon oregano; 3/4 teaspoon salt; 4 ounces baby bella mushrooms (sliced); 1 Tablespoon butter; 1 yellow onion (medium sized, sliced); 1 Tablespoon garlic (minced); ½ teaspoon dried thyme; ½ teaspoon dried rosemary; 1 cup chicken stock; 1 Tablespoons soy sauce; 1 Tablespoon Worcestershire sauce; 2 tablespoons all-purpose flour; ½ cup heavy cream