镌功是什么意思

juān gōng ㄐㄨㄢ ㄍㄨㄙ 镌功（镌功）

谓刻石记功。 唐 韩愈 《石鼓歌》：“镌功勒成告万世，凿石作鼓隳嵯峨。” 明 无名氏 《鸣凤记·拜谒忠灵》：“听子规啼，流水泣，高山怨，同心未遂镌功愿。