Slice one onion into thick slices and place on the bottom of your Instant Pot insert. Dice the other onion and set aside for topping. 2 onion
Place pork tenderloin on top of the onion and sprinkle your spices (and place your bay leaves) on top of the pork. 2 lbs pork tenderloin, 1/2 tsp ground cumin, 2 tsp chili powder, 2 tsp cayenne pepper, 2 bay leaves
Pour ½ bottle of salsa, entire can of Rotel, and diced onions on and around the pork.1/2 cup green chile salsa, 1 can Rotel: diced tomatoes and green chiles
Pressure cook on high pressure for 30 minutes (I did this for a 2 pound tenderloin).
When cooking time has finished, let the pressure naturally release for 15 minutes.
Remove the pork from the Instant Pot and shred it.
Place the shredded pork back into the Instant Pot to keep warm and soak up the seasoning.