1#drivers/accesstokenid/access_tokenid.c 2 3#static const struct file_operations access_tokenid_fops = { 4# .owner = THIS_MODULE, 5# .unlocked_ioctl = access_tokenid_ioctl, 6# .compat_ioctl = access_tokenid_ioctl, 7#}; 8 9include <asm/ioctl.h> 10include <linux/fcntl.h> 11include <linux/types.h> 12include <drivers/accesstokenid/access_tokenid.h> 13 14resource fd_access_token[fd] 15 16openat$fd_access_token(fd const[AT_FDCWD], file ptr[in, string["/dev/access_token_id"]], flags const[O_RDWR], mode const[0]) fd_access_token 17close$fd_access_token(fd fd_access_token) 18 19ioctl$ACCESS_TOKENID_GET_TOKENID(fd fd_access_token, cmd const[ACCESS_TOKENID_GET_TOKENID], arg ptr[out, int64]) 20 21ioctl$ACCESS_TOKENID_SET_TOKENID(fd fd_access_token, cmd const[ACCESS_TOKENID_SET_TOKENID], arg ptr[in, int64]) 22 23ioctl$ACCESS_TOKENID_GET_FTOKENID(fd fd_access_token, cmd const[ACCESS_TOKENID_GET_FTOKENID], arg ptr[out, int64]) 24 25ioctl$ACCESS_TOKENID_SET_FTOKENID(fd fd_access_token, cmd const[ACCESS_TOKENID_SET_FTOKENID], arg ptr[in, int64])