| From | Mikko Rapeli <> | Subject | [PATCH 26/45] gntdev.h: include stdint.h in userspace | Date | Tue, 17 Feb 2015 00:05:29 +0100 |
| |
Fixes compilation error:
xen/gntdev.h:38:2: error: unknown type name ‘uint32_t’
Signed-off-by: Mikko Rapeli <mikko.rapeli@iki.fi> --- include/uapi/xen/gntdev.h | 6 ++++++ 1 file changed, 6 insertions(+)
diff --git a/include/uapi/xen/gntdev.h b/include/uapi/xen/gntdev.h index 5304bd3..f724f75 100644 --- a/include/uapi/xen/gntdev.h +++ b/include/uapi/xen/gntdev.h @@ -33,6 +33,12 @@ #ifndef __LINUX_PUBLIC_GNTDEV_H__ #define __LINUX_PUBLIC_GNTDEV_H__ +#ifdef __KERNEL__ +#include <linux/types.h> +#else +#include <stdint.h> +#endif + struct ioctl_gntdev_grant_ref { /* The domain ID of the grant to be mapped. */ uint32_t domid; -- 2.1.4
|