Instant Pot Garlic Pork Tenderloin and Mashed Potatoes Recipe | Yummly