เห็ดภูเขาเก็บมาจากโคก สันฐานของโคกคืออะไร

มีน้องแกงเห็ดมาให้กินบอกเห็ดภูเขา เล่าไปเล่ามาเก็บมาจากโคก ถามว่าโคกคือ? น้องบอกภูเขาเล็กๆ แต่บ้านเราเป็นสวนในกรุงเทพ โคกบ้านเราก็คือเนินเล็กๆ เลยสงสัยค่ะว่าโคกทางภาคอีสานคืออะไร