get_mtime("/etc/xensource/pool.conf", &new_mtime);
if (new_mtime.tv_sec != pool_conf_mtime.tv_sec
|| new_mtime.tv_nsec != pool_conf_mtime.tv_nsec) {
get_mtime("/etc/xensource/pool.conf", &new_mtime);
if (new_mtime.tv_sec != pool_conf_mtime.tv_sec
|| new_mtime.tv_nsec != pool_conf_mtime.tv_nsec) {