diff options
Diffstat (limited to 'tools/include/xen-foreign/mkheader.py')
-rw-r--r-- | tools/include/xen-foreign/mkheader.py | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/tools/include/xen-foreign/mkheader.py b/tools/include/xen-foreign/mkheader.py index d189b076e8..eee28f3094 100644 --- a/tools/include/xen-foreign/mkheader.py +++ b/tools/include/xen-foreign/mkheader.py @@ -17,11 +17,15 @@ header = {}; footer = {}; #arm -inttypes["arm"] = { +inttypes["arm32"] = { "unsigned long" : "uint32_t", "long" : "uint32_t", "xen_pfn_t" : "uint64_t", }; +header["arm32"] = """ +#define __arm___ARM32 1 +"""; + # x86_32 inttypes["x86_32"] = { |