Pressure Cooker Roasted Pork Tenderloin

I realize it may seem counterintuitive to cook a tender cut of meat like pork tenderloin in the pressure cooker, but trust me the end result is tender and delicious. The gravy is so good you will be wishing you had more. I like to serve this with mashed potatoes and steamed broccoli. So yummy!