14     const char *dev = NULL;  in main()  local
70     dev = mpp_get_vcodec_dev_name(MPP_CTX_DEC, MPP_VIDEO_CodingAVC);  in main()
71     mpp_log("H.264 decoder: %s\n", dev);  in main()
73     dev = mpp_get_vcodec_dev_name(MPP_CTX_DEC, MPP_VIDEO_CodingHEVC);  in main()
74     mpp_log("H.265 decoder: %s\n", dev);  in main()
76     dev = mpp_get_vcodec_dev_name(MPP_CTX_DEC, MPP_VIDEO_CodingMJPEG);  in main()
77     mpp_log("MJPEG decoder: %s\n", dev);  in main()
79     dev = mpp_get_vcodec_dev_name(MPP_CTX_DEC, MPP_VIDEO_CodingVP9);  in main()
80     mpp_log("VP9   decoder: %s\n", dev);  in main()
82     dev = mpp_get_vcodec_dev_name(MPP_CTX_DEC, MPP_VIDEO_CodingAVSPLUS);  in main()
83     mpp_log("avs+  decoder: %s\n", dev);  in main()
88     dev = mpp_get_vcodec_dev_name(MPP_CTX_ENC, MPP_VIDEO_CodingAVC);  in main()
89     mpp_log("H.264 encoder: %s\n", dev);  in main()
91     dev = mpp_get_vcodec_dev_name(MPP_CTX_ENC, MPP_VIDEO_CodingHEVC);  in main()
92     mpp_log("H.265 encoder: %s\n", dev);  in main()
94     dev = mpp_get_vcodec_dev_name(MPP_CTX_ENC, MPP_VIDEO_CodingMJPEG);  in main()
95     mpp_log("MJPEG encoder: %s\n", dev);  in main()