Put the beef, onions, ginger, and water into a pressure cooker.