[PATCH 26/45] gntdev.h: include stdint.h in userspace

Fixes compilation error: xen/gntdev.h:38:2: error: unknown type name ‘uint32_t’ Signed-off-by: Mikko Rapeli --- 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 ---

[PATCH 26/45] gntdev.h: include stdint.h in userspace

Fixes compilation error: xen/gntdev.h:38:2: error: unknown type name ‘uint32_t’ Signed-off-by: Mikko Rapeli mikko.rap...@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