add dts config

hc

2023-12-06 08f87f769b595151be1afeff53e144f543faa614

1
2
3
4
5
6
#ifndef XEN_XEN_STUB_H
#define XEN_XEN_STUB_H
 
#define xen_domain() 0
 
#endif