白菌在食品中是什么调料？

【白菌（别名：石渠白菌、金蘑菇、黄绿蜜环菌）】属担子菌纲，伞菌目、口蘑科、白桩菇属。产于海拔4200公尺以上的少数地方。金黄色，晒干即为白色。白菌盖小肉厚柄短、气味清香，曾作为“贡品”专奉清庭。白菌内含钙、磷、铁等矿物质，又富有蛋白质、脂肪、碳水化合物、粗纤维，营养价值很高。
“麻辣烫中用”怎么可能是上面的那钟“白菌”……大概就是再普通不过的“白蘑菇”吧。蘑菇的“功效”大都是“性凉味甘，高蛋白、低热量、营养丰富……”