XenevaOS
Loading...
Searching...
No Matches
xen.h
Go to the documentation of this file.
1/*
2 * DCL xen/xen.h -- xen_pv_domain() is false; drm_cache.c uses it only to
3 * pick a cache-flush flavour and Xeneva never runs under Xen.
4 */
5#ifndef _DCL_XEN_XEN_H
6#define _DCL_XEN_XEN_H
7
8static inline bool xen_pv_domain(void)
9{
10 return false;
11}
12
13#endif /* _DCL_XEN_XEN_H */