media: media.h: remove unneeded <stdint.h> inclusion

Message ID 20220328160153.169362-1-masahiroy@kernel.org (mailing list archive)
State Accepted
Delegated to: Hans Verkuil
Headers
Series media: media.h: remove unneeded <stdint.h> inclusion |

Commit Message

Masahiro Yamada March 28, 2022, 4:01 p.m. UTC
  Commit b3b7a9f138b7 ("[media] media-device: Use u64 ints for pointers")
added this #include <stdint.h>, presumably in order to use uintptr_t.

Now that it is gone, we can compile this for userspace without <stdint.h>.

Signed-off-by: Masahiro Yamada <masahiroy@kernel.org>
---

 include/uapi/linux/media.h | 3 ---
 1 file changed, 3 deletions(-)
  

Comments

Laurent Pinchart March 28, 2022, 4:21 p.m. UTC | #1
Hi Yamada-san,

Thank you for the patch.

On Tue, Mar 29, 2022 at 01:01:53AM +0900, Masahiro Yamada wrote:
> Commit b3b7a9f138b7 ("[media] media-device: Use u64 ints for pointers")
> added this #include <stdint.h>, presumably in order to use uintptr_t.
> 
> Now that it is gone, we can compile this for userspace without <stdint.h>.
> 
> Signed-off-by: Masahiro Yamada <masahiroy@kernel.org>

Reviewed-by: Laurent Pinchart <laurent.pinchart@ideasonboard.com>

> ---
> 
>  include/uapi/linux/media.h | 3 ---
>  1 file changed, 3 deletions(-)
> 
> diff --git a/include/uapi/linux/media.h b/include/uapi/linux/media.h
> index 200fa8462b90..5754dce922a7 100644
> --- a/include/uapi/linux/media.h
> +++ b/include/uapi/linux/media.h
> @@ -20,9 +20,6 @@
>  #ifndef __LINUX_MEDIA_H
>  #define __LINUX_MEDIA_H
>  
> -#ifndef __KERNEL__
> -#include <stdint.h>
> -#endif
>  #include <linux/ioctl.h>
>  #include <linux/types.h>
>
  

Patch

diff --git a/include/uapi/linux/media.h b/include/uapi/linux/media.h
index 200fa8462b90..5754dce922a7 100644
--- a/include/uapi/linux/media.h
+++ b/include/uapi/linux/media.h
@@ -20,9 +20,6 @@ 
 #ifndef __LINUX_MEDIA_H
 #define __LINUX_MEDIA_H
 
-#ifndef __KERNEL__
-#include <stdint.h>
-#endif
 #include <linux/ioctl.h>
 #include <linux/types.h>