How long to pressure cook potatoes in instant pot for mashed

How long to pressure cook potatoes in instant pot for mashed pictures 5