《名山记》曰：岳洞方百里，在终南太一间。或名桂阳宫，多诸灵异。王屋山洞周回万里，名曰小有清虚天。按《王君内传》云︰在河内沁水县界，济水所出之源也。北有太行，东南有北邙嵩山，内洞天□，日月星辰，云气草木，万类尾矣。宫阙相映，金玉镂饰，皆地仙所处，即清虚王君所居也。