Set the pork chops aside and add the onions to the Instant Pot, saute about 30 seconds. Then add the mushrooms and saute for 1 minute, stir continuously. Pour in the stock and stir in the salt ...