XenevaOS
Loading...
Searching...
No Matches
XenevaOS
BaseHdr
xen
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
8
static
inline
bool
xen_pv_domain(
void
)
9
{
10
return
false
;
11
}
12
13
#endif
/* _DCL_XEN_XEN_H */
Generated by
1.9.8