162306a36Sopenharmony_ci#ifndef XEN_XEN_STUB_H 262306a36Sopenharmony_ci#define XEN_XEN_STUB_H 362306a36Sopenharmony_ci 462306a36Sopenharmony_ci#define xen_domain() 0 562306a36Sopenharmony_ci 662306a36Sopenharmony_ci#endif 7