diff options
| author | Wei Liu <wei.liu2@citrix.com> | 2017-04-18 15:20:03 +0100 |
|---|---|---|
| committer | Wei Liu <wei.liu2@citrix.com> | 2017-04-20 12:02:53 +0100 |
| commit | c5fc41a10de6217774b4c44ff7977be437263a1b (patch) | |
| tree | 8b6b4c8a7a2793ba8a45011bbf5b7ac20f754e16 /m4 | |
| parent | f97838bbd980a0104e16c4a12fbf514f9fa805f1 (diff) | |
paths.m4: provide XENSTORED_{KVA,PORT}
The default values are Linux device names. No users yet.
Signed-off-by: Wei Liu <wei.liu2@citrix.com>
Reviewed-by: Christian Lindig <christian.lindig@citrix.com>
Acked-by: Ian Jackson <ian.jackson@eu.citrix.com>
Acked-by: Roger Pau Monné <roger.pau@citrix.com>
Release-acked-by: Julien Grall <julien.grall@arm.com>
Diffstat (limited to 'm4')
| -rw-r--r-- | m4/paths.m4 | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/m4/paths.m4 b/m4/paths.m4 index 93ce89ab40..f208b7e39f 100644 --- a/m4/paths.m4 +++ b/m4/paths.m4 @@ -147,3 +147,15 @@ AC_SUBST(XEN_PAGING_DIR) XEN_DUMP_DIR=$xen_dumpdir_path AC_SUBST(XEN_DUMP_DIR) ]) + +case "$host_os" in +*freebsd*) XENSTORED_KVA=/dev/xen/xenstored ;; +*) XENSTORED_KVA=/proc/xen/xsd_kva ;; +esac +AC_SUBST(XENSTORED_KVA) + +case "$host_os" in +*freebsd*) XENSTORED_PORT=/dev/xen/xenstored ;; +*) XENSTORED_PORT=/proc/xen/xsd_port ;; +esac +AC_SUBST(XENSTORED_PORT) |