If you're doing a larger cut of pork, you can probably add a little more water and the full packet of the dressing mix. With this smaller pork tenderloin and this amount of liquid, 3/4 of the packet gives plenty of flavor and keeps it from getting too salty.
If you don't have a pressure cooker, cook this recipe in a slow cooker on high for 3 to 4 hours.