[PATCH (trivial)] ipc_objref should be s32 like all objrefs

[Oren Laadan]

Yup.

Serge E. Hallyn wrote:
> Signed-off-by: Serge E. Hallyn <serue at us.ibm.com>
> ---
>  include/linux/checkpoint_hdr.h |    2 +-
>  1 files changed, 1 insertions(+), 1 deletions(-)
> 
> diff --git a/include/linux/checkpoint_hdr.h b/include/linux/checkpoint_hdr.h
> index 1d3982d..57e1306 100644
> --- a/include/linux/checkpoint_hdr.h
> +++ b/include/linux/checkpoint_hdr.h
> @@ -435,7 +435,7 @@ struct ckpt_hdr_task_ns {
>  struct ckpt_hdr_ns {
>  	struct ckpt_hdr h;
>  	__s32 uts_objref;
> -	__u32 ipc_objref;
> +	__s32 ipc_objref;
>  } __attribute__((aligned(8)));
>  
>  /* cannot include <linux/tty.h> from userspace, so define: */