/* Public domain. */

#ifndef _XEN_XEN_H
#define _XEN_XEN_H

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

#endif