How long to pressure cook potatoes for mashed potato

How long to pressure cook potatoes for mashed potato pictures 5