Use the trivet to add the browned pork tenderloin on top of the veggies and stock. Seal the Instant Pot. Ensure the valve is closed. Press "Pressure Cooker" on high heat, set the timer to 5 minutes. Once the cycle is complete, allow a natural release for about 10 minutes.