include/xen/xen.h

#include <stdbool.h>

bool booting_xen(void);
int startup_xen(void);