[PATCH] kernel_user_data: add ceph_decode_n() as returning user data

[Harshit Mogalapalli <harshit.m.mogalapalli@xxxxxxxxxx>]

After this patch: verified couple of instances where we have code like:
	foo = ceph_decode_8(bar)

net/ceph/messenger_v2.c:521 decode_preamble()
	user rl: 'desc->fd_tag' = '0-255'

Signed-off-by: Harshit Mogalapalli <harshit.m.mogalapalli@xxxxxxxxxx>
---
 smatch_kernel_user_data.c | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/smatch_kernel_user_data.c b/smatch_kernel_user_data.c
index 6ebf1ed1..34f9231e 100644
--- a/smatch_kernel_user_data.c
+++ b/smatch_kernel_user_data.c
@@ -49,6 +49,11 @@ static struct user_fn_info func_table[] = {
 	{ "simple_strtoul", USER_DATA, -1, "$" },
 	{ "simple_strtoull", USER_DATA, -1, "$" },
 	{ "kvm_register_read", USER_DATA, -1, "$" },
+	{ "ceph_decode_8", USER_DATA, -1, "$" },
+	{ "ceph_decode_16", USER_DATA, -1, "$" },
+	{ "ceph_decode_32", USER_DATA, -1, "$" },
+	{ "ceph_decode_64", USER_DATA, -1, "$" },
+
 };
 
 static struct smatch_state *empty_state(struct sm_state *sm)
-- 
2.39.3