/* Public domain. */

#ifndef _XEN_XEN_H
#define _XEN_XEN_H

static inline bool
xen_initial_domain(void)
{
	return false;
}

#endif