/xen/tools/cppcheck-plat/