18c2ecf20Sopenharmony_ci#ifndef XEN_XEN_STUB_H 28c2ecf20Sopenharmony_ci#define XEN_XEN_STUB_H 38c2ecf20Sopenharmony_ci 48c2ecf20Sopenharmony_ci#define xen_domain() 0 58c2ecf20Sopenharmony_ci 68c2ecf20Sopenharmony_ci#endif 7