Lines Matching refs:ARG3
541 ARG1,(HChar*)ARG1, ARG2,(HChar*)ARG2, ARG3,(HChar*)ARG3, ARG4, ARG5);
548 PRE_MEM_RASCIIZ( "mount(type)", ARG3);
607 PRINT("sys_setresuid16 ( %lu, %lu, %lu )", ARG1, ARG2, ARG3);
614 PRINT("sys_setresuid ( %lu, %lu, %lu )", ARG1, ARG2, ARG3);
621 PRINT("sys_getresuid16 ( %#lx, %#lx, %#lx )", ARG1,ARG2,ARG3);
627 PRE_MEM_WRITE( "getresuid16(suid)", ARG3, sizeof(vki_old_uid_t) );
635 POST_MEM_WRITE( ARG3, sizeof(vki_old_uid_t) );
641 PRINT("sys_getresuid ( %#lx, %#lx, %#lx )", ARG1,ARG2,ARG3);
646 PRE_MEM_WRITE( "getresuid(suid)", ARG3, sizeof(vki_uid_t) );
654 POST_MEM_WRITE( ARG3, sizeof(vki_uid_t) );
660 PRINT("sys_setresgid16 ( %lu, %lu, %lu )", ARG1, ARG2, ARG3);
668 PRINT("sys_setresgid ( %lu, %lu, %lu )", ARG1, ARG2, ARG3);
675 PRINT("sys_getresgid16 ( %#lx, %#lx, %#lx )", ARG1,ARG2,ARG3);
681 PRE_MEM_WRITE( "getresgid16(sgid)", ARG3, sizeof(vki_old_gid_t) );
689 POST_MEM_WRITE( ARG3, sizeof(vki_old_gid_t) );
695 PRINT("sys_getresgid ( %#lx, %#lx, %#lx )", ARG1,ARG2,ARG3);
700 PRE_MEM_WRITE( "getresgid(sgid)", ARG3, sizeof(vki_gid_t) );
708 POST_MEM_WRITE( ARG3, sizeof(vki_gid_t) );
788 PRINT("sys_llseek ( %lu, 0x%lx, 0x%lx, %#lx, %lu )", ARG1,ARG2,ARG3,ARG4,ARG5);
889 PRE_MEM_WRITE( "syslog(bufp)", ARG2, ARG3);
899 POST_MEM_WRITE( ARG2, ARG3 );
1034 if (ARG3) {
1035 /* Should check that ARG3 points at a valid struct sock_fprog.
1038 ARG3, 1 );
1046 int, option, unsigned long, arg2, unsigned long, arg3,
1092 PRINT("sys_sendfile ( %ld, %ld, %#lx, %lu )", SARG1,SARG2,ARG3,ARG4);
1096 if (ARG3 != 0)
1097 PRE_MEM_WRITE( "sendfile(offset)", ARG3, sizeof(vki_off_t) );
1101 if (ARG3 != 0 ) {
1102 POST_MEM_WRITE( ARG3, sizeof( vki_off_t ) );
1109 PRINT("sendfile64 ( %ld, %ld, %#lx, %lu )",SARG1,SARG2,ARG3,ARG4);
1113 if (ARG3 != 0)
1114 PRE_MEM_WRITE( "sendfile64(offset)", ARG3, sizeof(vki_loff_t) );
1118 if (ARG3 != 0 ) {
1119 POST_MEM_WRITE( ARG3, sizeof(vki_loff_t) );
1130 ARG3 - int val WAIT,WAKE,FD,REQUEUE,CMP_REQUEUE
1156 if (*(vki_u32 *)ARG1 != ARG3) {
1255 PRINT("sys_get_robust_list ( %ld, %#lx, %#lx )", SARG1,ARG2,ARG3);
1263 ARG3, sizeof(struct vki_size_t *));
1268 POST_MEM_WRITE(ARG3, sizeof(struct vki_size_t *));
1275 SARG1, ARG2, ARG3, ARG4, ARG5, ARG6);
1284 if (ARG3 != 0)
1286 ARG3, ARG1/8 /* __FD_SETSIZE/8 */ );
1301 PRINT("sys_ppoll ( %#lx, %lu, %#lx, %#lx, %lu )\n", ARG1,ARG2,ARG3,ARG4,ARG5);
1316 if (ARG3)
1317 PRE_MEM_READ( "ppoll(tsp)", ARG3, sizeof(struct vki_timespec) );
1393 PRE_MEM_WRITE( "epoll_wait(events)", ARG2, sizeof(struct vki_epoll_event)*ARG3);
1411 PRE_MEM_WRITE( "epoll_pwait(events)", ARG2, sizeof(struct vki_epoll_event)*ARG3);
1459 SARG1, SARG2, (Long)MERGE64(ARG3,ARG4), (Long)MERGE64(ARG5,ARG6));
1478 PRINT("sys_prlimit64 ( %ld, %lu, %#lx, %#lx )", SARG1,ARG2,ARG3,ARG4);
1483 if (ARG3)
1484 PRE_MEM_READ( "rlimit64(new_rlim)", ARG3, sizeof(struct vki_rlimit64) );
1488 if (ARG3 &&
1489 ((struct vki_rlimit64 *)ARG3)->rlim_cur > ((struct vki_rlimit64 *)ARG3)->rlim_max) {
1500 if (ARG3) {
1501 if (((struct vki_rlimit64 *)ARG3)->rlim_cur > VG_(fd_hard_limit) ||
1502 ((struct vki_rlimit64 *)ARG3)->rlim_max != VG_(fd_hard_limit)) {
1506 VG_(fd_soft_limit) = ((struct vki_rlimit64 *)ARG3)->rlim_cur;
1517 if (ARG3) {
1518 if (((struct vki_rlimit64 *)ARG3)->rlim_cur > VG_(client_rlimit_data).rlim_max ||
1519 ((struct vki_rlimit64 *)ARG3)->rlim_max > VG_(client_rlimit_data).rlim_max) {
1523 VG_(client_rlimit_data).rlim_cur = ((struct vki_rlimit64 *)ARG3)->rlim_cur;
1524 VG_(client_rlimit_data).rlim_max = ((struct vki_rlimit64 *)ARG3)->rlim_max;
1535 if (ARG3) {
1536 if (((struct vki_rlimit64 *)ARG3)->rlim_cur > VG_(client_rlimit_stack).rlim_max ||
1537 ((struct vki_rlimit64 *)ARG3)->rlim_max > VG_(client_rlimit_stack).rlim_max) {
1541 VG_(threads)[tid].client_stack_szB = ((struct vki_rlimit64 *)ARG3)->rlim_cur;
1542 VG_(client_rlimit_stack).rlim_cur = ((struct vki_rlimit64 *)ARG3)->rlim_cur;
1543 VG_(client_rlimit_stack).rlim_max = ((struct vki_rlimit64 *)ARG3)->rlim_max;
1618 if (!ML_(client_signal_OK)(ARG3)) {
1633 if (ARG3 == VKI_SIGKILL && ML_(do_sigkill)(ARG2, ARG1)) {
1664 SARG1, MERGE64(ARG2,ARG3), ARG4, SARG5);
1673 SARG1, MERGE64(ARG2,ARG3), MERGE64(ARG4,ARG5), SARG6);
1750 (ULong)ARG1,(Long)ARG2,(Long)ARG3,ARG4,ARG5);
1755 if (ARG3 > 0)
1757 ARG4, sizeof(struct vki_io_event)*ARG3 );
1820 PRINT("sys_io_submit ( %lu, %ld, %#lx )", ARG1, SARG2, ARG3);
1824 PRE_MEM_READ( "io_submit(iocbpp)", ARG3, ARG2*sizeof(struct vki_iocb *) );
1825 if (ARG3 != 0) {
1827 struct vki_iocb *cb = ((struct vki_iocb **)ARG3)[i];
1871 PRINT("sys_io_cancel ( %llu, %#lx, %#lx )", (ULong)ARG1,ARG2,ARG3);
1876 PRE_MEM_WRITE( "io_cancel(result)", ARG3, sizeof(struct vki_io_event) );
1880 POST_MEM_WRITE( ARG3, sizeof(struct vki_io_event) );
1889 PRINT("sys_mbind ( %#lx, %lu, %lu, %#lx, %lu, %lu )", ARG1,ARG2,ARG3,ARG4,ARG5,ARG6);
1901 PRINT("sys_set_mempolicy ( %ld, %#lx, %lu )", SARG1, ARG2, ARG3);
1906 VG_ROUNDUP( ARG3-1, sizeof(UWord) * 8 ) / 8 );
1911 PRINT("sys_get_mempolicy ( %#lx, %#lx, %lu, %#lx, %lx )", ARG1,ARG2,ARG3,ARG4,ARG5);
1920 VG_ROUNDUP( ARG3-1, sizeof(UWord) * 8 ) / 8 );
1927 POST_MEM_WRITE( ARG2, VG_ROUNDUP( ARG3-1, sizeof(UWord) * 8 ) / 8 );
1957 SARG1, ARG2, MERGE64(ARG3,ARG4), SARG5, ARG6, (HChar *)ARG6);
1966 SARG1, ARG2, ARG3, SARG4, ARG5, (HChar *)ARG5);
2019 PRINT( "sys_inotify_add_watch ( %ld, %#lx, %lx )", SARG1, ARG2, ARG3);
2037 ARG1, (HChar*)ARG1, SARG2, ARG3, ARG4);
2073 SARG1,ARG2,ARG3,ARG4,ARG5);
2080 PRE_MEM_READ( "mq_timedsend(msg_ptr)", ARG2, ARG3 );
2091 SARG1,ARG2,ARG3,ARG4,ARG5);
2099 PRE_MEM_WRITE( "mq_timedreceive(msg_ptr)", ARG2, ARG3 );
2129 PRINT("sys_mq_getsetattr( %ld, %#lx, %#lx )", SARG1,ARG2,ARG3 );
2141 if (ARG3 != 0)
2142 PRE_MEM_WRITE( "mq_getsetattr(omqstat)", ARG3,
2148 if (ARG3 != 0)
2149 POST_MEM_WRITE( ARG3, sizeof(struct vki_mq_attr) );
2196 SARG1, SARG2, ARG3, ARG4);
2200 PRE_MEM_READ( "clock_nanosleep(rqtp)", ARG3, sizeof(struct vki_timespec) );
2216 PRINT("sys_timer_create( %ld, %#lx, %#lx )", SARG1, ARG2, ARG3);
2233 PRE_MEM_WRITE( "timer_create(timerid)", ARG3, sizeof(vki_timer_t) );
2237 POST_MEM_WRITE( ARG3, sizeof(vki_timer_t) );
2242 PRINT("sys_timer_settime( %ld, %ld, %#lx, %#lx )", SARG1,SARG2,ARG3,ARG4);
2247 PRE_MEM_READ( "timer_settime(value)", ARG3,
2321 PRINT("sys_timerfd ( %ld, %ld, %#lx )", SARG1, SARG2, ARG3);
2324 PRE_MEM_READ("timerfd(tmr)", ARG3,
2381 SARG1, SARG2, ARG3, ARG4);
2392 ARG3, sizeof(struct vki_itimerspec));
2519 PRINT("sys_chown16 ( %#lx, 0x%lx, 0x%lx )", ARG1,ARG2,ARG3);
2528 PRINT("sys_fchown16 ( %lu, %lu, %lu )", ARG1,ARG2,ARG3);
2541 ARG1, ARG2, ARG3, ARG4, SARG5);
2547 PRE_MEM_READ( "setxattr(value)", ARG3, ARG4 );
2554 ARG1, ARG2, ARG3, ARG4, SARG5);
2560 PRE_MEM_READ( "lsetxattr(value)", ARG3, ARG4 );
2567 SARG1, ARG2, ARG3, ARG4, SARG5);
2572 PRE_MEM_READ( "fsetxattr(value)", ARG3, ARG4 );
2578 PRINT("sys_getxattr ( %#lx, %#lx, %#lx, %llu )", ARG1,ARG2,ARG3, (ULong)ARG4);
2583 PRE_MEM_WRITE( "getxattr(value)", ARG3, ARG4 );
2588 if (RES > 0 && ARG3 != (Addr)NULL) {
2589 POST_MEM_WRITE( ARG3, RES );
2596 PRINT("sys_lgetxattr ( %#lx, %#lx, %#lx, %llu )", ARG1,ARG2,ARG3, (ULong)ARG4);
2601 PRE_MEM_WRITE( "lgetxattr(value)", ARG3, ARG4 );
2606 if (RES > 0 && ARG3 != (Addr)NULL) {
2607 POST_MEM_WRITE( ARG3, RES );
2614 PRINT("sys_fgetxattr ( %ld, %#lx, %#lx, %lu )", SARG1, ARG2, ARG3, ARG4);
2618 PRE_MEM_WRITE( "fgetxattr(value)", ARG3, ARG4 );
2622 if (RES > 0 && ARG3 != (Addr)NULL)
2623 POST_MEM_WRITE( ARG3, RES );
2629 PRINT("sys_listxattr ( %#lx, %#lx, %llu )", ARG1, ARG2, (ULong)ARG3);
2633 PRE_MEM_WRITE( "listxattr(list)", ARG2, ARG3 );
2644 PRINT("sys_llistxattr ( %#lx, %#lx, %llu )", ARG1, ARG2, (ULong)ARG3);
2648 PRE_MEM_WRITE( "llistxattr(list)", ARG2, ARG3 );
2659 PRINT("sys_flistxattr ( %ld, %#lx, %lu )", SARG1, ARG2, ARG3);
2662 PRE_MEM_WRITE( "flistxattr(list)", ARG2, ARG3 );
2732 PRINT("sys_sched_setscheduler ( %ld, %ld, %#lx )", SARG1, SARG2, ARG3);
2735 if (ARG3 != 0)
2737 ARG3, sizeof(struct vki_sched_param));
2776 PRINT("sched_setaffinity ( %ld, %lu, %#lx )", SARG1, ARG2, ARG3);
2779 PRE_MEM_READ( "sched_setaffinity(mask)", ARG3, ARG2);
2784 PRINT("sched_getaffinity ( %ld, %lu, %#lx )", SARG1, ARG2, ARG3);
2787 PRE_MEM_WRITE( "sched_getaffinity(mask)", ARG3, ARG2);
2791 POST_MEM_WRITE(ARG3, ARG2);
2875 PRINT("sys_dup3 ( %lu, %lu, %#lx )", ARG1, ARG2, ARG3);
2890 PRINT("sys_quotactl (0x%lx, %#lx, 0x%lx, 0x%lx )", ARG1,ARG2,ARG3, ARG4);
2901 SARG1, SARG2, ARG3, SARG4, ARG5);
2905 PRE_MEM_WRITE( "waitid(infop)", ARG3, sizeof(struct vki_siginfo) );
2911 POST_MEM_WRITE( ARG3, sizeof(struct vki_siginfo) );
2921 SARG1, (Long)MERGE64(ARG2,ARG3), (Long)MERGE64(ARG4,ARG5),ARG6);
2945 SARG1, ARG2, (Long)MERGE64(ARG3,ARG4), (Long)MERGE64(ARG5,ARG6));
3000 PRINT("sys_getcpu ( %#lx, %#lx, %#lx )" , ARG1,ARG2,ARG3);
3007 if (ARG3 != 0)
3008 PRE_MEM_WRITE( "getcpu(tcache)", ARG3, sizeof(struct vki_getcpu_cache) );
3017 if (ARG3 != 0)
3018 POST_MEM_WRITE( ARG3, sizeof(struct vki_getcpu_cache) );
3024 SARG1, ARG2, ARG3, ARG4, ARG5, ARG6);
3028 PRE_MEM_READ("move_pages(pages)", ARG3, ARG2 * sizeof(void *));
3041 PRINT("sys_getrandom ( %#lx, %lu, %lu )" , ARG1, ARG2, ARG3);
3099 PRINT("sys_lseek ( %lu, %ld, %lu )", ARG1, SARG2, ARG3);
3113 SARG1, (Long)MERGE64(ARG2,ARG3), ARG4);
3118 PRINT("sys_readahead ( %ld, %ld, %lu )", SARG1, SARG2, ARG3);
3157 PRINT("sys_sigprocmask ( %ld, %#lx, %#lx )", SARG1, ARG2, ARG3);
3162 if (ARG3 != 0)
3163 PRE_MEM_WRITE( "sigprocmask(oldset)", ARG3, sizeof(vki_old_sigset_t));
3168 oldset = (vki_old_sigset_t*)ARG3;
3190 if (RES == 0 && ARG3 != 0)
3191 POST_MEM_WRITE( ARG3, sizeof(vki_old_sigset_t));
3206 PRINT("sys_sigaction ( %ld, %#lx, %#lx )", SARG1, ARG2, ARG3);
3223 if (ARG3 != 0) {
3224 PRE_MEM_WRITE( "sigaction(oldact)", ARG3, sizeof(struct vki_old_sigaction));
3240 if (ARG3 != 0 && SUCCESS && RES == 0) {
3241 struct vki_old_sigaction *oldold = (struct vki_old_sigaction *)ARG3;
3252 if (RES == 0 && ARG3 != 0)
3253 POST_MEM_WRITE( ARG3, sizeof(struct vki_old_sigaction));
3259 PRINT("sys_signalfd ( %d, %#lx, %llu )", (Int)ARG1,ARG2,(ULong)ARG3);
3279 PRINT("sys_signalfd4 ( %ld, %#lx, %lu, %ld )", SARG1, ARG2, ARG3, SARG4);
3304 PRINT("sys_rt_sigaction ( %ld, %#lx, %#lx, %lu )", SARG1, ARG2, ARG3, ARG4);
3317 if (ARG3 != 0)
3318 PRE_MEM_WRITE( "rt_sigaction(oldact)", ARG3, sizeof(vki_sigaction_fromK_t));
3326 (vki_sigaction_fromK_t *)ARG3)
3332 if (RES == 0 && ARG3 != 0)
3333 POST_MEM_WRITE( ARG3, sizeof(vki_sigaction_fromK_t));
3339 SARG1, ARG2, ARG3, ARG4);
3345 if (ARG3 != 0)
3346 PRE_MEM_WRITE( "rt_sigprocmask(oldset)", ARG3, sizeof(vki_sigset_t));
3355 (vki_sigset_t*) ARG3 )
3365 if (RES == 0 && ARG3 != 0)
3366 POST_MEM_WRITE( ARG3, sizeof(vki_sigset_t));
3385 ARG1, ARG2, ARG3, ARG4);
3393 if (ARG3 != 0)
3395 ARG3, sizeof(struct vki_timespec) );
3405 PRINT("sys_rt_sigqueueinfo(%ld, %ld, %#lx)", SARG1, SARG2, ARG3);
3409 PRE_MEM_READ( "rt_sigqueueinfo(uinfo)", ARG3, VKI_SI_MAX_SIZE );
3423 if (ARG3 != 0)
3429 if (!ML_(client_signal_OK)(ARG3))
3457 UWord arg0, UWord arg1, UWord arg2, UWord arg3 )
3468 UWord arg3, UWord arg4 )
3480 UWord arg3, UWord arg4 )
3583 ML_(generic_PRE_sys_semop)( tid, ARG2, ARG5, ARG3 );
3600 ML_(generic_PRE_sys_semctl)( tid, ARG2, ARG3, ARG4, arg );
3607 ML_(generic_PRE_sys_semtimedop)( tid, ARG2, ARG5, ARG3, ARG6 );
3614 ML_(linux_PRE_sys_msgsnd)( tid, ARG2, ARG5, ARG3, ARG4 );
3632 ML_(linux_PRE_sys_msgrcv)( tid, ARG2, msgp, ARG3, msgtyp, ARG4 );
3645 ML_(linux_PRE_sys_msgctl)( tid, ARG2, ARG3, ARG5 );
3654 w = ML_(generic_PRE_sys_shmat)( tid, ARG2, ARG5, ARG3 );
3685 ML_(generic_PRE_sys_shmctl)( tid, ARG2, ARG3, ARG5 );
3708 ML_(generic_POST_sys_semctl)( tid, RES, ARG2, ARG3, ARG4, arg );
3726 ML_(linux_POST_sys_msgrcv)( tid, RES, ARG2, msgp, ARG3, msgtyp, ARG4 );
3732 ML_(linux_POST_sys_msgctl)( tid, RES, ARG2, ARG3, ARG5 );
3744 ML_(generic_POST_sys_shmat)( tid, addr, ARG2, ARG5, ARG3 );
3753 ML_(generic_POST_sys_shmctl)( tid, RES, ARG2, ARG3, ARG5 );
3774 PRINT("sys_semop ( %ld, %#lx, %lu )", SARG1, ARG2, ARG3);
3777 ML_(generic_PRE_sys_semop)(tid, ARG1,ARG2,ARG3);
3782 switch (ARG3 & ~VKI_IPC_64) {
3809 ML_(generic_PRE_sys_semctl)(tid, ARG1,ARG2,ARG3|VKI_IPC_64,ARG4);
3811 ML_(generic_PRE_sys_semctl)(tid, ARG1,ARG2,ARG3,ARG4);
3818 ML_(generic_POST_sys_semctl)(tid, RES,ARG1,ARG2,ARG3|VKI_IPC_64,ARG4);
3820 ML_(generic_POST_sys_semctl)(tid, RES,ARG1,ARG2,ARG3,ARG4);
3827 PRINT("sys_semtimedop ( %ld, %#lx, %lu, %#lx )", SARG1, ARG2, ARG3, ARG4);
3831 ML_(generic_PRE_sys_semtimedop)(tid, ARG1,ARG2,ARG3,ARG4);
3842 PRINT("sys_msgsnd ( %ld, %#lx, %lu, %ld )", SARG1, ARG2, ARG3, SARG4);
3845 ML_(linux_PRE_sys_msgsnd)(tid, ARG1,ARG2,ARG3,ARG4);
3853 SARG1, ARG2, ARG3, SARG4, SARG5);
3857 ML_(linux_PRE_sys_msgrcv)(tid, ARG1,ARG2,ARG3,ARG4,ARG5);
3863 ML_(linux_POST_sys_msgrcv)(tid, RES,ARG1,ARG2,ARG3,ARG4,ARG5);
3868 PRINT("sys_msgctl ( %ld, %ld, %#lx )", SARG1, SARG2, ARG3);
3871 ML_(linux_PRE_sys_msgctl)(tid, ARG1,ARG2,ARG3);
3876 ML_(linux_POST_sys_msgctl)(tid, RES,ARG1,ARG2,ARG3);
3883 if (ARG3 & VKI_SHM_HUGETLB) {
3885 ARG3 &= ~VKI_SHM_HUGETLB;
3905 if (ARG3 & VKI_SHM_RND)
3908 arg2tmp = ML_(generic_PRE_sys_shmat)(tid, ARG1,ARG2,ARG3);
3917 ML_(generic_POST_sys_shmat)(tid, RES,ARG1,ARG2,ARG3);
3935 PRINT("sys_shmctl ( %ld, %ld, %#lx )", SARG1, SARG2, ARG3);
3939 ML_(generic_PRE_sys_shmctl)(tid, ARG1,ARG2|VKI_IPC_64,ARG3);
3941 ML_(generic_PRE_sys_shmctl)(tid, ARG1,ARG2,ARG3);
3948 ML_(generic_POST_sys_shmctl)(tid, RES,ARG1,ARG2|VKI_IPC_64,ARG3);
3950 ML_(generic_POST_sys_shmctl)(tid, RES,ARG1,ARG2,ARG3);
4270 ML_(linux_PRE_sys_setsockopt)(tid, ARG1,ARG2,ARG3,ARG4,ARG5);
4280 ML_(linux_PRE_sys_getsockopt)(tid, ARG1,ARG2,ARG3,ARG4,ARG5);
4286 ARG1,ARG2,ARG3,ARG4,ARG5);
4295 ML_(generic_PRE_sys_connect)(tid, ARG1,ARG2,ARG3);
4301 PRINT("sys_accept ( %ld, %#lx, %#lx )", SARG1, ARG2, ARG3);
4304 ML_(generic_PRE_sys_accept)(tid, ARG1,ARG2,ARG3);
4311 ARG1,ARG2,ARG3);
4318 PRINT("sys_accept4 ( %ld, %#lx, %#lx, %ld )", SARG1, ARG2, ARG3, SARG4);
4321 ML_(generic_PRE_sys_accept)(tid, ARG1,ARG2,ARG3);
4328 ARG1,ARG2,ARG3);
4335 PRINT("sys_send ( %ld, %#lx, %lu, %#lx )", SARG1, ARG2, ARG3, ARG4);
4340 ML_(generic_PRE_sys_send)( tid, ARG1, ARG2, ARG3 );
4347 SARG1, ARG2, ARG3, ARG4, ARG5, SARG6);
4352 ML_(generic_PRE_sys_sendto)(tid, ARG1,ARG2,ARG3,ARG4,ARG5,ARG6);
4358 PRINT ("sys_recv ( %ld, %#lx, %lu, %lu )", SARG1, ARG2, ARG3, ARG4);
4361 ML_ (generic_PRE_sys_recv) (tid, ARG1, ARG2, ARG3);
4366 ML_ (generic_POST_sys_recv) (tid, RES, ARG1, ARG2, ARG3);
4373 SARG1, ARG2, ARG3, ARG4, ARG5, ARG6);
4377 ML_(generic_PRE_sys_recvfrom)(tid, ARG1,ARG2,ARG3,ARG4,ARG5,ARG6);
4383 ARG1,ARG2,ARG3,ARG4,ARG5,ARG6);
4389 PRINT("sys_sendmsg ( %ld, %#lx, %lu )", SARG1, ARG2, ARG3);
4398 PRINT("sys_recvmsg ( %ld, %#lx, %lu )", SARG1, ARG2, ARG3);
4420 ML_(generic_PRE_sys_bind)(tid, ARG1,ARG2,ARG3);
4431 PRINT("sys_getsockname ( %ld, %#lx, %#lx )", SARG1, ARG2, ARG3);
4434 ML_(generic_PRE_sys_getsockname)(tid, ARG1,ARG2,ARG3);
4440 ARG1,ARG2,ARG3);
4445 PRINT("sys_getpeername ( %ld, %#lx, %#lx )", SARG1, ARG2, ARG3);
4448 ML_(generic_PRE_sys_getpeername)(tid, ARG1,ARG2,ARG3);
4454 ARG1,ARG2,ARG3);
4462 ML_(generic_PRE_sys_socketpair)(tid, ARG1,ARG2,ARG3,ARG4);
4468 ARG1,ARG2,ARG3,ARG4);
4481 if (ARG3 & VKI_O_CREAT) {
4570 SARG1, ARG2, (HChar*)ARG2, ARG3, ARG4 );
4579 SARG1, ARG2, (HChar*)ARG2, ARG3, ARG4);
4589 SARG1, ARG2, (HChar*)ARG2, ARG3);
4594 if (ARG3 != 0)
4595 PRE_MEM_READ( "futimesat(tvp)", ARG3, 2 * sizeof(struct vki_timeval) );
4601 SARG1, ARG2, (HChar*)ARG2, ARG3, ARG4);
4606 if (ARG3 != 0)
4607 PRE_MEM_READ( "utimensat(tvp)", ARG3, 2 * sizeof(struct vki_timespec) );
4614 SARG1, ARG2, (HChar*)ARG2, ARG3);
4618 PRE_MEM_WRITE( "fstatat(buf)", ARG3, sizeof(struct vki_stat) );
4623 POST_MEM_WRITE( ARG3, sizeof(struct vki_stat) );
4662 ARG1, (HChar*)ARG1, SARG2, ARG3, (HChar*)ARG3);
4666 PRE_MEM_RASCIIZ( "symlinkat(newpath)", ARG3 );
4675 SARG1, ARG2, (HChar*)ARG2, ARG3, ARG4);
4679 PRE_MEM_WRITE( "readlinkat(buf)", ARG3,ARG4 );
4691 ARG3, ARG4));
4694 SET_STATUS_from_SysRes( VG_(do_syscall4)(saved, ARG1, ARG2, ARG3, ARG4));
4698 POST_MEM_WRITE( ARG3, RES );
4704 SARG1, ARG2, (HChar*)ARG2, ARG3);
4722 SARG1, ARG2, (HChar*)ARG2, ARG3, ARG4, SARG5);
4728 if (ML_(safe_to_deref)( (void*)ARG3, sizeof(struct vki_file_handle))) {
4729 struct vki_file_handle *fh = (struct vki_file_handle *)ARG3;
4738 struct vki_file_handle *fh = (struct vki_file_handle *)ARG3;
4739 POST_MEM_WRITE( ARG3, sizeof(struct vki_file_handle) + fh->handle_bytes );
4779 ARG1, ARG2, ARG3, (Long)LOHI64(ARG4,ARG5));
4785 PRINT("sys_preadv ( %lu, %#lx, %lu, %ld )", ARG1, ARG2, ARG3, SARG4);
4795 PRE_MEM_READ( "preadv(vector)", ARG2, ARG3 * sizeof(struct vki_iovec) );
4800 for (i = 0; i < (Int)ARG3; i++)
4816 for (i = 0; i < (Int)ARG3; i++) {
4835 ARG1, ARG2, ARG3, (Long)LOHI64(ARG4,ARG5));
4841 PRINT("sys_pwritev ( %lu, %#lx, %lu, %ld )", ARG1, ARG2, ARG3, SARG4);
4852 ARG2, ARG3 * sizeof(struct vki_iovec) );
4856 for (i = 0; i < (Int)ARG3; i++)
4870 SARG1, ARG2, ARG3, ARG4, ARG5, ARG6);
4879 ARG2, ARG3 * sizeof(struct vki_iovec) );
4886 for (i = 0; i < ARG3; i++)
4897 for (i = 0; i < ARG3; i++) {
4908 SARG1, ARG2, ARG3, ARG4, ARG5, ARG6);
4917 ARG2, ARG3 * sizeof(struct vki_iovec) );
4924 for (i = 0; i < ARG3; i++)
4940 ML_(linux_PRE_sys_sendmmsg)(tid, ARG1,ARG2,ARG3,ARG4);
4945 ML_(linux_POST_sys_sendmmsg) (tid, RES, ARG1,ARG2,ARG3,ARG4);
4956 ML_(linux_PRE_sys_recvmmsg)(tid, ARG1,ARG2,ARG3,ARG4,ARG5);
4961 ML_(linux_POST_sys_recvmmsg) (tid, RES, ARG1,ARG2,ARG3,ARG4,ARG5);
4971 ARG1, (HChar*)ARG1, ARG2, (HChar*)ARG2, ARG3, (HChar*)ARG3, SARG4);
4977 if (ARG3 != (UWord)NULL)
4978 PRE_MEM_RASCIIZ( "request_key(callout_info)", ARG3);
4984 ARG1, (HChar*)ARG1, ARG2, (HChar*)ARG2, ARG3, ARG4, SARG5);
4991 if (ARG3 != (UWord)NULL)
4992 PRE_MEM_READ( "request_key(payload)", ARG3, ARG4);
5011 ARG3, ARG4);
5015 if (ARG3 != (UWord)NULL)
5016 PRE_MEM_READ("keyctl(KEYCTL_UPDATE, payload)", ARG3, ARG4);
5024 PRINT("sys_keyctl ( KEYCTL_CHOWN, %ld, %lu, %lu )", SARG2, ARG3, ARG4);
5030 PRINT("sys_keyctl ( KEYCTL_SETPERM, %ld, %lu )", SARG2, ARG3);
5035 PRINT("sys_keyctl ( KEYCTL_DESCRIBE, %ld, %#lx, %lu )", SARG2, ARG3, ARG4);
5039 if (ARG3 != (UWord)NULL)
5040 PRE_MEM_WRITE("keyctl(KEYCTL_DESCRIBE, buffer)", ARG3, ARG4);
5059 SARG2, ARG3, (HChar*)ARG3, ARG4, (HChar*)ARG4, SARG5);
5064 PRE_MEM_RASCIIZ("sys_keyctl(KEYCTL_SEARCH, type)", ARG3);
5068 PRINT("sys_keyctl ( KEYCTL_READ, %ld, %#lx, %lu )", SARG2, ARG3, ARG4);
5072 if (ARG3 != (UWord)NULL)
5073 PRE_MEM_WRITE("keyctl(KEYCTL_READ, buffer)", ARG3, ARG4);
5077 SARG2, ARG3, ARG4, SARG5);
5082 if (ARG3 != (UWord)NULL)
5083 PRE_MEM_READ("keyctl(KEYCTL_INSTANTIATE, payload)", ARG3, ARG4);
5086 PRINT("sys_keyctl ( KEYCTL_NEGATE, %ld, %lu, %ld )", SARG2, ARG3, SARG4);
5097 PRINT("sys_keyctl ( KEYCTL_SET_TIMEOUT, %ld, %lu )", SARG2, ARG3);
5120 POST_MEM_WRITE(ARG3, ARG4);
5122 POST_MEM_WRITE(ARG3, RES);
5153 ARG1, ARG2, ARG3, (HChar*)ARG3);
5157 PRE_MEM_RASCIIZ( "init_module(uargs)", ARG3 );
5183 !ML_(fd_allowed)(ARG3, "splice(fd_out)", tid, False)) {
5196 PRINT("sys_tree ( %ld, %ld, %lu, %#lx )", SARG1, SARG2, ARG3, ARG4);
5210 PRINT("sys_vmsplice ( %ld, %#lx, %lu, %lu )", SARG1, ARG2, ARG3, ARG4);
5220 PRE_MEM_READ( "vmsplice(iov)", ARG2, sizeof(struct vki_iovec) * ARG3 );
5222 iov < (struct vki_iovec *)ARG2 + ARG3; iov++)
5242 iov < (struct vki_iovec *)ARG2 + ARG3; iov++)
5258 MERGE64(ARG1,ARG2), ARG3, ARG4);
5262 PRE_MEM_WRITE( "lookup_dcookie(buf)", ARG3, ARG4);
5267 if (ARG3 != (Addr)NULL)
5268 POST_MEM_WRITE( ARG3, RES);
5277 PRINT("sys_lookup_dcookie ( %lu, %#lx, %lu )", ARG1, ARG2, ARG3);
5281 PRE_MEM_WRITE( "sys_lookup_dcookie(buf)", ARG2, ARG3 );
5299 // These ones ignore ARG3.
5310 // These ones use ARG3 as "arg".
5320 PRINT("sys_fcntl[ARG3=='arg'] ( %lu, %lu, %lu )", ARG1, ARG2, ARG3);
5325 // These ones use ARG3 as "lock".
5337 PRINT("sys_fcntl[ARG3=='lock'] ( %lu, %lu, %#lx )", ARG1, ARG2, ARG3);
5344 PRINT("sys_fcntl[F_SETOWN_EX] ( %lu, %lu, %lu )", ARG1, ARG2, ARG3);
5348 PRE_MEM_READ("fcntl(F_SETOWN_EX)", ARG3, sizeof(struct vki_f_owner_ex));
5352 PRINT("sys_fcntl[F_GETOWN_EX] ( %lu, %lu, %lu )", ARG1, ARG2, ARG3);
5356 PRE_MEM_WRITE("fcntl(F_GETOWN_EX)", ARG3, sizeof(struct vki_f_owner_ex));
5360 PRINT("sys_fcntl[UNKNOWN] ( %lu, %lu, %lu )", ARG1, ARG2, ARG3);
5394 POST_MEM_WRITE(ARG3, sizeof(struct vki_f_owner_ex));
5402 // These ones ignore ARG3.
5414 // These ones use ARG3 as "arg".
5421 PRINT("sys_fcntl64[ARG3=='arg'] ( %lu, %lu, %lu )", ARG1, ARG2, ARG3);
5426 // These ones use ARG3 as "lock".
5438 PRINT("sys_fcntl64[ARG3=='lock'] ( %lu, %lu, %#lx )", ARG1, ARG2, ARG3);
5445 PRINT("sys_fcntl[F_SETOWN_EX] ( %lu, %lu, %lu )", ARG1, ARG2, ARG3);
5449 PRE_MEM_READ("fcntl(F_SETOWN_EX)", ARG3, sizeof(struct vki_f_owner_ex));
5453 PRINT("sys_fcntl[F_GETOWN_EX] ( %lu, %lu, %lu )", ARG1, ARG2, ARG3);
5457 PRE_MEM_WRITE("fcntl(F_GETOWN_EX)", ARG3, sizeof(struct vki_f_owner_ex));
5490 POST_MEM_WRITE(ARG3, sizeof(struct vki_f_owner_ex));
5504 // We first handle the ones that don't use ARG3 (even as a
5568 PRINT("sys_ioctl ( %lu, 0x%lx, 0x%lx )", ARG1, ARG2, ARG3);
5574 // We now handle those that do look at ARG3 (and unknown ones fall into
5576 // doesn't-use-ARG3 switch above.
5581 = (struct vki_ion_allocation_data*)ARG3;
5590 struct vki_ion_fd_data* data = (struct vki_ion_fd_data*)ARG3;
5596 struct vki_ion_fd_data* data = (struct vki_ion_fd_data*)ARG3;
5603 struct vki_sync_merge_data* data = (struct vki_sync_merge_data*)ARG3;
5613 PRE_MEM_READ( "ioctl(TCSET{S,SW,SF})", ARG3, sizeof(struct vki_termios) );
5616 PRE_MEM_WRITE( "ioctl(TCGETS)", ARG3, sizeof(struct vki_termios) );
5621 PRE_MEM_READ( "ioctl(TCSET{A,AW,AF})", ARG3, sizeof(struct vki_termio) );
5624 PRE_MEM_WRITE( "ioctl(TCGETA)", ARG3, sizeof(struct vki_termio) );
5634 PRE_MEM_WRITE( "ioctl(TIOCGWINSZ)", ARG3, sizeof(struct vki_winsize) );
5637 PRE_MEM_READ( "ioctl(TIOCSWINSZ)", ARG3, sizeof(struct vki_winsize) );
5640 PRE_MEM_READ( "ioctl(TIOCMBIS)", ARG3, sizeof(unsigned int) );
5643 PRE_MEM_READ( "ioctl(TIOCMBIC)", ARG3, sizeof(unsigned int) );
5646 PRE_MEM_READ( "ioctl(TIOCMSET)", ARG3, sizeof(unsigned int) );
5649 PRE_MEM_WRITE( "ioctl(TIOCMGET)", ARG3, sizeof(unsigned int) );
5652 PRE_MEM_READ( "ioctl(TIOCLINUX)", ARG3, sizeof(char *) );
5653 if (*(char *)ARG3 == 11) {
5654 PRE_MEM_READ( "ioctl(TIOCLINUX, 11)", ARG3, 2 * sizeof(char *) );
5659 PRE_MEM_WRITE( "ioctl(TIOCGPGRP)", ARG3, sizeof(vki_pid_t) );
5663 PRE_MEM_WRITE( "ioctl(TIOCGPGRP)", ARG3, sizeof(vki_pid_t) );
5666 PRE_MEM_WRITE( "ioctl(TIOCGPTN)", ARG3, sizeof(int) );
5672 PRE_MEM_READ( "ioctl(TIOCSPTLCK)", ARG3, sizeof(int) );
5675 PRE_MEM_READ( "ioctl(FIONBIO)", ARG3, sizeof(int) );
5678 PRE_MEM_READ( "ioctl(FIOASYNC)", ARG3, sizeof(int) );
5681 PRE_MEM_WRITE( "ioctl(FIONREAD)", ARG3, sizeof(int) );
5684 PRE_MEM_WRITE( "ioctl(FIOQSIZE)", ARG3, sizeof(vki_loff_t) );
5688 PRE_MEM_WRITE( "ioctl(TIOCSERGETLSR)", ARG3, sizeof(int) );
5691 PRE_MEM_WRITE( "ioctl(TIOCGICOUNT)", ARG3,
5696 PRE_MEM_READ( "ioctl(SG_SET_COMMAND_Q)", ARG3, sizeof(int) );
5699 PRE_MEM_READ( "ioctl(SG_IO)", ARG3, sizeof(vki_sg_io_hdr_t) );
5701 vki_sg_io_hdr_t *sgio = (vki_sg_io_hdr_t*)ARG3;
5710 PRE_MEM_WRITE( "ioctl(SG_GET_SCSI_ID)", ARG3, sizeof(vki_sg_scsi_id_t) );
5713 PRE_MEM_READ( "ioctl(SG_SET_RESERVED_SIZE)", ARG3, sizeof(int) );
5716 PRE_MEM_READ( "ioctl(SG_SET_TIMEOUT)", ARG3, sizeof(int) );
5719 PRE_MEM_WRITE( "ioctl(SG_GET_RESERVED_SIZE)", ARG3, sizeof(int) );
5724 PRE_MEM_WRITE( "ioctl(SG_GET_VERSION_NUM)", ARG3, sizeof(int) );
5727 PRE_MEM_WRITE( "ioctl(SG_EMULATED_HOST)", ARG3, sizeof(int) );
5730 PRE_MEM_WRITE( "ioctl(SG_GET_SG_TABLESIZE)", ARG3, sizeof(int) );
5734 PRE_MEM_WRITE( "ioctl(IIOCGETCPS)", ARG3,
5739 (Addr)&((vki_isdn_net_ioctl_phone *)ARG3)->name,
5740 sizeof(((vki_isdn_net_ioctl_phone *)ARG3)->name) );
5741 PRE_MEM_WRITE( "ioctl(IIOCNETGPN)", ARG3,
5748 (Addr)((struct vki_ifreq *)ARG3)->vki_ifr_name );
5749 PRE_MEM_WRITE( "ioctl(SIOCGIFINDEX)", ARG3, sizeof(struct vki_ifreq));
5753 (Addr)((struct vki_ifreq *)ARG3)->vki_ifr_name );
5754 PRE_MEM_WRITE( "ioctl(SIOCGIFFLAGS)", ARG3, sizeof(struct vki_ifreq));
5758 (Addr)((struct vki_ifreq *)ARG3)->vki_ifr_name );
5759 PRE_MEM_WRITE( "ioctl(SIOCGIFHWADDR)", ARG3, sizeof(struct vki_ifreq));
5763 (Addr)((struct vki_ifreq *)ARG3)->vki_ifr_name );
5764 PRE_MEM_WRITE( "ioctl(SIOCGIFMTU)", ARG3, sizeof(struct vki_ifreq));
5768 (Addr)((struct vki_ifreq *)ARG3)->vki_ifr_name );
5769 PRE_MEM_WRITE( "ioctl(SIOCGIFADDR)", ARG3, sizeof(struct vki_ifreq));
5773 (Addr)((struct vki_ifreq *)ARG3)->vki_ifr_name );
5774 PRE_MEM_WRITE( "ioctl(SIOCGIFNETMASK)", ARG3, sizeof(struct vki_ifreq));
5778 (Addr)((struct vki_ifreq *)ARG3)->vki_ifr_name );
5779 PRE_MEM_WRITE( "ioctl(SIOCGIFMETRIC)", ARG3, sizeof(struct vki_ifreq));
5783 (Addr)((struct vki_ifreq *)ARG3)->vki_ifr_name );
5784 PRE_MEM_WRITE( "ioctl(SIOCGIFMAP)", ARG3, sizeof(struct vki_ifreq));
5788 (Addr)((struct vki_ifreq *)ARG3)->vki_ifr_name );
5789 PRE_MEM_WRITE( "ioctl(SIOCGIFTXQLEN)", ARG3, sizeof(struct vki_ifreq));
5793 (Addr)((struct vki_ifreq *)ARG3)->vki_ifr_name );
5794 PRE_MEM_WRITE( "ioctl(SIOCGIFDSTADDR)", ARG3, sizeof(struct vki_ifreq));
5798 (Addr)((struct vki_ifreq *)ARG3)->vki_ifr_name );
5799 PRE_MEM_WRITE( "ioctl(SIOCGIFBRDADDR)", ARG3, sizeof(struct vki_ifreq));
5803 (Addr)&((struct vki_ifreq *)ARG3)->vki_ifr_ifindex,
5804 sizeof(((struct vki_ifreq *)ARG3)->vki_ifr_ifindex) );
5805 PRE_MEM_WRITE( "ioctl(SIOCGIFNAME)", ARG3, sizeof(struct vki_ifreq));
5808 struct vki_ifreq *ir = (struct vki_ifreq *)ARG3;
5930 (Addr)((struct vki_ifreq *)ARG3)->vki_ifr_name );
5931 PRE_MEM_WRITE( "ioctl(SIOCGIFMIIPHY)", ARG3, sizeof(struct vki_ifreq));
5935 (Addr)((struct vki_ifreq *)ARG3)->vki_ifr_name );
5937 (Addr)&((struct vki_mii_ioctl_data *)&((struct vki_ifreq *)ARG3)->vki_ifr_data)->phy_id,
5938 sizeof(((struct vki_mii_ioctl_data *)&((struct vki_ifreq *)ARG3)->vki_ifr_data)->phy_id) );
5940 (Addr)&((struct vki_mii_ioctl_data *)&((struct vki_ifreq *)ARG3)->vki_ifr_data)->reg_num,
5941 sizeof(((struct vki_mii_ioctl_data *)&((struct vki_ifreq *)ARG3)->vki_ifr_data)->reg_num) );
5942 PRE_MEM_WRITE( "ioctl(SIOCGIFMIIREG)", ARG3,
5947 PRE_MEM_WRITE( "ioctl(SIOCGIFCONF)", ARG3, sizeof(struct ifconf));
5950 POST_MEM_WRITE(ARG3, sizeof(struct ifconf));
5953 (Addr)&((struct vki_ifconf *)ARG3)->ifc_len,
5954 sizeof(((struct vki_ifconf *)ARG3)->ifc_len));
5956 (Addr)&((struct vki_ifconf *)ARG3)->vki_ifc_buf,
5957 sizeof(((struct vki_ifconf *)ARG3)->vki_ifc_buf));
5958 if ( ARG3 ) {
5961 struct vki_ifconf *ifc = (struct vki_ifconf *) ARG3;
5967 PRE_MEM_WRITE( "ioctl(SIOCGSTAMP)", ARG3, sizeof(struct vki_timeval));
5970 PRE_MEM_WRITE( "ioctl(SIOCGSTAMPNS)", ARG3, sizeof(struct vki_timespec));
5977 PRE_MEM_WRITE( "ioctl(SIOCOUTQ)", ARG3, sizeof(int));
5981 PRE_MEM_WRITE( "ioctl(SIOCGARP)", ARG3, sizeof(struct vki_arpreq));
5986 (Addr)((struct vki_ifreq *)ARG3)->vki_ifr_name );
5988 (Addr)&((struct vki_ifreq *)ARG3)->vki_ifr_flags,
5989 sizeof(((struct vki_ifreq *)ARG3)->vki_ifr_flags) );
5993 (Addr)((struct vki_ifreq *)ARG3)->vki_ifr_name );
5995 (Addr)&((struct vki_ifreq *)ARG3)->vki_ifr_map,
5996 sizeof(((struct vki_ifreq *)ARG3)->vki_ifr_map) );
6000 (Addr)((struct vki_ifreq *)ARG3)->vki_ifr_name );
6002 (Addr)((struct vki_ifreq *)ARG3)->vki_ifr_data,
6007 (Addr)((struct vki_ifreq *)ARG3)->vki_ifr_name );
6009 (Addr)&((struct vki_ifreq *)ARG3)->vki_ifr_qlen,
6010 sizeof(((struct vki_ifreq *)ARG3)->vki_ifr_qlen) );
6017 (Addr)((struct vki_ifreq *)ARG3)->vki_ifr_name );
6019 (Addr)&((struct vki_ifreq *)ARG3)->vki_ifr_addr,
6020 sizeof(((struct vki_ifreq *)ARG3)->vki_ifr_addr) );
6024 (Addr)((struct vki_ifreq *)ARG3)->vki_ifr_name );
6026 (Addr)&((struct vki_ifreq *)ARG3)->vki_ifr_metric,
6027 sizeof(((struct vki_ifreq *)ARG3)->vki_ifr_metric) );
6031 (Addr)((struct vki_ifreq *)ARG3)->vki_ifr_name );
6033 (Addr)&((struct vki_ifreq *)ARG3)->vki_ifr_mtu,
6034 sizeof(((struct vki_ifreq *)ARG3)->vki_ifr_mtu) );
6038 (Addr)((struct vki_ifreq *)ARG3)->vki_ifr_name );
6040 (Addr)&((struct vki_ifreq *)ARG3)->vki_ifr_hwaddr,
6041 sizeof(((struct vki_ifreq *)ARG3)->vki_ifr_hwaddr) );
6045 (Addr)((struct vki_ifreq *)ARG3)->vki_ifr_name );
6047 (Addr)&((struct vki_mii_ioctl_data *)&((struct vki_ifreq *)ARG3)->vki_ifr_data)->phy_id,
6048 sizeof(((struct vki_mii_ioctl_data *)&((struct vki_ifreq *)ARG3)->vki_ifr_data)->phy_id) );
6050 (Addr)&((struct vki_mii_ioctl_data *)&((struct vki_ifreq *)ARG3)->vki_ifr_data)->reg_num,
6051 sizeof(((struct vki_mii_ioctl_data *)&((struct vki_ifreq *)ARG3)->vki_ifr_data)->reg_num) );
6053 (Addr)&((struct vki_mii_ioctl_data *)&((struct vki_ifreq *)ARG3)->vki_ifr_data)->val_in,
6054 sizeof(((struct vki_mii_ioctl_data *)&((struct vki_ifreq *)ARG3)->vki_ifr_data)->val_in) );
6059 PRE_MEM_READ( "ioctl(SIOCADDRT/DELRT)", ARG3,
6069 (Addr)((struct vki_ifreq *)ARG3)->vki_ifr_name );
6071 (Addr)&((struct vki_ifreq *)ARG3)->vki_ifr_flags,
6072 sizeof(((struct vki_ifreq *)ARG3)->vki_ifr_flags) );
6073 PRE_MEM_WRITE( "ioctl(TUNSETIFF)", ARG3, sizeof(struct vki_ifreq) );
6081 PRE_MEM_WRITE( "ioctl(TUNGETFEATURES)", ARG3, sizeof(unsigned int) );
6086 PRE_MEM_WRITE( "ioctl(TUNGETIFF)", ARG3, sizeof(struct vki_ifreq) );
6089 PRE_MEM_WRITE( "ioctl(TUNGETSNDBUF)", ARG3, sizeof(int) );
6092 PRE_MEM_READ( "ioctl(TUNSETSNDBUF)", ARG3, sizeof(int) );
6095 PRE_MEM_WRITE( "ioctl(TUNGETVNETHDRSZ)", ARG3, sizeof(int) );
6098 PRE_MEM_READ( "ioctl(TUNSETVNETHDRSZ)", ARG3, sizeof(int) );
6102 (Addr)&((struct vki_ifreq *)ARG3)->vki_ifr_flags,
6103 sizeof(((struct vki_ifreq *)ARG3)->vki_ifr_flags) );
6106 PRE_MEM_READ( "ioctl(TUNSETIFINDEX)", ARG3, sizeof(unsigned int));
6115 PRE_MEM_READ( "ioctl(SIOCSIFFLAGS)", ARG3, sizeof(struct vki_ifreq));
6119 PRE_MEM_WRITE( "ioctl(SIOCGPGRP)", ARG3, sizeof(int) );
6122 PRE_MEM_READ( "ioctl(SIOCSPGRP)", ARG3, sizeof(int) );
6127 PRE_MEM_READ( "ioctl(SIOCATMARK)", ARG3, sizeof(int) );
6150 ARG3, sizeof(int));
6168 ARG3, sizeof(int));
6170 ARG3, sizeof(int));
6175 ARG3, sizeof(vki_audio_buf_info));
6181 ARG3, sizeof(int));
6197 PRE_MEM_WRITE( "ioctl(SNDRV_CTL_IOCTL_PVERSION)", (Addr)ARG3, sizeof(int) );
6200 PRE_MEM_WRITE( "ioctl(SNDRV_CTL_IOCTL_CARD_INFO)", (Addr)ARG3, sizeof(struct vki_snd_ctl_card_info) );
6203 struct vki_snd_ctl_elem_list *data = (struct vki_snd_ctl_elem_list *)ARG3;
6215 struct vki_snd_ctl_tlv *data = (struct vki_snd_ctl_tlv *)ARG3;
6223 struct vki_snd_ctl_tlv *data = (struct vki_snd_ctl_tlv *)ARG3;
6242 ARG3, sizeof(struct vki_rtc_time));
6245 PRE_MEM_READ( "ioctl(RTC_ALM_SET)", ARG3, sizeof(struct vki_rtc_time));
6248 PRE_MEM_WRITE( "ioctl(RTC_IRQP_READ)", ARG3, sizeof(unsigned long));
6253 PRE_MEM_READ( "ioctl(BLKROSET)", ARG3, sizeof(int));
6256 PRE_MEM_WRITE( "ioctl(BLKROGET)", ARG3, sizeof(int));
6259 PRE_MEM_WRITE( "ioctl(BLKGETSIZE)", ARG3, sizeof(unsigned long));
6264 PRE_MEM_WRITE( "ioctl(BLKRAGET)", ARG3, sizeof(long));
6269 ARG3, sizeof(long));
6272 PRE_MEM_WRITE( "ioctl(BLKSECTGET)", ARG3, sizeof(unsigned short));
6275 PRE_MEM_WRITE( "ioctl(BLKSSZGET)", ARG3, sizeof(int));
6278 PRE_MEM_WRITE( "ioctl(BLKBSZGET)", ARG3, sizeof(int));
6281 PRE_MEM_READ( "ioctl(BLKBSZSET)", ARG3, sizeof(int));
6284 PRE_MEM_WRITE( "ioctl(BLKGETSIZE64)", ARG3, sizeof(unsigned long long));
6287 PRE_MEM_WRITE( "ioctl(BLKPBSZGET)", ARG3, sizeof(int));
6290 PRE_MEM_WRITE( "ioctl(BLKDISCARDZEROES)", ARG3, sizeof(vki_uint));
6295 PRE_MEM_WRITE( "ioctl(HDIO_GETGEO)", ARG3, sizeof(struct vki_hd_geometry));
6298 PRE_MEM_WRITE( "ioctl(HDIO_GET_DMA)", ARG3, sizeof(long));
6301 PRE_MEM_WRITE( "ioctl(HDIO_GET_IDENTITY)", ARG3,
6307 PRE_MEM_WRITE( "ioctl(SCSI_IOCTL_GET_IDLUN)", ARG3, sizeof(struct vki_scsi_idlun));
6310 PRE_MEM_WRITE( "ioctl(SCSI_IOCTL_GET_BUS_NUMBER)", ARG3, sizeof(int));
6315 PRE_MEM_READ( "ioctl(CDROM_GET_MCN)", ARG3,
6319 PRE_MEM_READ( "ioctl(CDROM_SEND_PACKET)", ARG3,
6324 (Addr) &(((struct vki_cdrom_subchnl*) ARG3)->cdsc_format),
6325 sizeof(((struct vki_cdrom_subchnl*) ARG3)->cdsc_format));
6326 PRE_MEM_WRITE( "ioctl(CDROMSUBCHNL)", ARG3,
6330 PRE_MEM_READ( "ioctl(CDROMREADMODE2)", ARG3, VKI_CD_FRAMESIZE_RAW0 );
6333 PRE_MEM_WRITE( "ioctl(CDROMREADTOCHDR)", ARG3,
6338 (Addr) &(((struct vki_cdrom_tocentry*) ARG3)->cdte_format),
6339 sizeof(((struct vki_cdrom_tocentry*) ARG3)->cdte_format));
6341 (Addr) &(((struct vki_cdrom_tocentry*) ARG3)->cdte_track),
6342 sizeof(((struct vki_cdrom_tocentry*) ARG3)->cdte_track));
6343 PRE_MEM_WRITE( "ioctl(CDROMREADTOCENTRY)", ARG3,
6347 PRE_MEM_WRITE( "ioctl(CDROMMULTISESSION)", ARG3,
6351 PRE_MEM_WRITE( "ioctl(CDROMVOLREAD)", ARG3,
6355 PRE_MEM_READ( "ioctl(CDROMREADRAW)", ARG3, sizeof(struct vki_cdrom_msf));
6356 PRE_MEM_WRITE( "ioctl(CDROMREADRAW)", ARG3, VKI_CD_FRAMESIZE_RAW);
6359 PRE_MEM_READ( "ioctl(CDROMREADAUDIO)", ARG3,
6361 if ( ARG3 ) {
6363 struct vki_cdrom_read_audio *cra = (struct vki_cdrom_read_audio *) ARG3;
6369 PRE_MEM_READ( "ioctl(CDROMPLAYMSF)", ARG3, sizeof(struct vki_cdrom_msf));
6380 PRE_MEM_WRITE( "ioctl(FIGETBSZ)", ARG3, sizeof(unsigned long));
6383 PRE_MEM_READ( "ioctl(FIBMAP)", ARG3, sizeof(int));
6387 PRE_MEM_WRITE( "ioctl(FBIOGET_VSCREENINFO)", ARG3,
6391 PRE_MEM_READ( "ioctl(FBIOPUT_VSCREENINFO)", ARG3,
6395 PRE_MEM_WRITE( "ioctl(FBIOGET_FSCREENINFO)", ARG3,
6399 PRE_MEM_READ( "ioctl(FBIOPAN_DISPLAY)", ARG3,
6409 PRE_MEM_READ( "ioctl(PPSETMODE)", ARG3, sizeof(int) );
6412 PRE_MEM_WRITE( "ioctl(PPGETMODE)", ARG3, sizeof(int) );
6415 PRE_MEM_READ( "ioctl(PPSETPHASE)", ARG3, sizeof(int) );
6418 PRE_MEM_WRITE( "ioctl(PPGETPHASE)", ARG3, sizeof(int) );
6421 PRE_MEM_WRITE( "ioctl(PPGETMODES)", ARG3, sizeof(unsigned int) );
6424 PRE_MEM_READ( "ioctl(PPSETFLAGS)", ARG3, sizeof(int) );
6427 PRE_MEM_WRITE( "ioctl(PPGETFLAGS)", ARG3, sizeof(int) );
6430 PRE_MEM_WRITE( "ioctl(PPRSTATUS)", ARG3, sizeof(unsigned char) );
6433 PRE_MEM_WRITE( "ioctl(PPRDATA)", ARG3, sizeof(unsigned char) );
6436 PRE_MEM_WRITE( "ioctl(PPRCONTROL)", ARG3, sizeof(unsigned char) );
6439 PRE_MEM_READ( "ioctl(PPWDATA)", ARG3, sizeof(unsigned char) );
6442 PRE_MEM_READ( "ioctl(PPWCONTROL)", ARG3, sizeof(unsigned char) );
6445 PRE_MEM_READ( "ioctl(PPFCONTROL)", ARG3, 2 * sizeof(unsigned char) );
6448 PRE_MEM_READ( "ioctl(PPDATADIR)", ARG3, sizeof(int) );
6451 PRE_MEM_READ( "ioctl(PPNEGOT)", ARG3, sizeof(int) );
6454 PRE_MEM_READ( "ioctl(PPWCTLONIRQ)",ARG3, sizeof(unsigned char) );
6457 PRE_MEM_WRITE( "ioctl(PPCLRIRQ)", ARG3, sizeof(int) );
6460 PRE_MEM_READ( "ioctl(PPSETTIME)", ARG3, sizeof(struct vki_timeval) );
6463 PRE_MEM_WRITE( "ioctl(PPGETTIME)", ARG3, sizeof(struct vki_timeval) );
6467 PRE_MEM_WRITE( "ioctl(GIO_FONT)", ARG3, 32 * 256 );
6470 PRE_MEM_READ( "ioctl(PIO_FONT)", ARG3, 32 * 256 );
6474 PRE_MEM_READ( "ioctl(GIO_FONTX)", ARG3, sizeof(struct vki_consolefontdesc) );
6475 if ( ARG3 ) {
6477 struct vki_consolefontdesc *cfd = (struct vki_consolefontdesc *)ARG3;
6483 PRE_MEM_READ( "ioctl(PIO_FONTX)", ARG3, sizeof(struct vki_consolefontdesc) );
6484 if ( ARG3 ) {
6486 struct vki_consolefontdesc *cfd = (struct vki_consolefontdesc *)ARG3;
6496 PRE_MEM_WRITE( "ioctl(GIO_CMAP)", ARG3, 16 * 3 );
6499 PRE_MEM_READ( "ioctl(PIO_CMAP)", ARG3, 16 * 3 );
6507 PRE_MEM_WRITE( "ioctl(KDGETLED)", ARG3, sizeof(char) );
6513 PRE_MEM_WRITE( "ioctl(KDGKBTYPE)", ARG3, sizeof(char) );
6525 PRE_MEM_WRITE( "ioctl(KDGETMODE)", ARG3, sizeof(int) );
6533 PRE_MEM_WRITE( "ioctl(GIO_SCRNMAP)", ARG3, VKI_E_TABSZ );
6536 PRE_MEM_READ( "ioctl(PIO_SCRNMAP)", ARG3, VKI_E_TABSZ );
6539 PRE_MEM_WRITE( "ioctl(GIO_UNISCRNMAP)", ARG3,
6543 PRE_MEM_READ( "ioctl(PIO_UNISCRNMAP)", ARG3,
6548 if ( ARG3 ) {
6549 struct vki_unimapdesc *desc = (struct vki_unimapdesc *) ARG3;
6559 if ( ARG3 ) {
6560 struct vki_unimapdesc *desc = (struct vki_unimapdesc *) ARG3;
6570 PRE_MEM_READ( "ioctl(GIO_UNIMAP)", ARG3, sizeof(struct vki_unimapinit));
6574 PRE_MEM_WRITE( "ioctl(KDGKBMODE)", ARG3, sizeof(int) );
6580 PRE_MEM_WRITE( "ioctl(KDGKBMETA)", ARG3, sizeof(int) );
6586 PRE_MEM_WRITE( "ioctl(KDGKBLED)", ARG3, sizeof(char) );
6593 (Addr)&((struct vki_kbentry *)ARG3)->kb_table,
6594 sizeof(((struct vki_kbentry *)ARG3)->kb_table) );
6596 (Addr)&((struct vki_kbentry *)ARG3)->kb_index,
6597 sizeof(((struct vki_kbentry *)ARG3)->kb_index) );
6599 (Addr)&((struct vki_kbentry *)ARG3)->kb_value,
6600 sizeof(((struct vki_kbentry *)ARG3)->kb_value) );
6604 (Addr)&((struct vki_kbentry *)ARG3)->kb_table,
6605 sizeof(((struct vki_kbentry *)ARG3)->kb_table) );
6607 (Addr)&((struct vki_kbentry *)ARG3)->kb_index,
6608 sizeof(((struct vki_kbentry *)ARG3)->kb_index) );
6610 (Addr)&((struct vki_kbentry *)ARG3)->kb_value,
6611 sizeof(((struct vki_kbentry *)ARG3)->kb_value) );
6616 (Addr)&((struct vki_kbsentry *)ARG3)->kb_func,
6617 sizeof(((struct vki_kbsentry *)ARG3)->kb_func) );
6619 (Addr)((struct vki_kbsentry *)ARG3)->kb_string,
6620 sizeof(((struct vki_kbsentry *)ARG3)->kb_string) );
6624 (Addr)&((struct vki_kbsentry *)ARG3)->kb_func,
6625 sizeof(((struct vki_kbsentry *)ARG3)->kb_func) );
6627 (Addr)((struct vki_kbsentry *)ARG3)->kb_string );
6631 PRE_MEM_WRITE( "ioctl(KDGKBDIACR)", ARG3, sizeof(struct vki_kbdiacrs) );
6634 PRE_MEM_READ( "ioctl(KDSKBDIACR)", ARG3, sizeof(struct vki_kbdiacrs) );
6639 (Addr)&((struct vki_kbkeycode *)ARG3)->scancode,
6640 sizeof(((struct vki_kbkeycode *)ARG3)->scancode) );
6642 (Addr)((struct vki_kbkeycode *)ARG3)->keycode,
6643 sizeof(((struct vki_kbkeycode *)ARG3)->keycode) );
6647 (Addr)&((struct vki_kbkeycode *)ARG3)->scancode,
6648 sizeof(((struct vki_kbkeycode *)ARG3)->scancode) );
6650 (Addr)((struct vki_kbkeycode *)ARG3)->keycode,
6651 sizeof(((struct vki_kbkeycode *)ARG3)->keycode) );
6658 PRE_MEM_READ( "ioctl(KBKBDREP)", ARG3, sizeof(struct vki_kbd_repeat) );
6662 if ( ARG3 ) {
6663 struct vki_console_font_op *op = (struct vki_console_font_op *) ARG3;
6690 PRE_MEM_WRITE( "ioctl(VT_OPENQRY)", ARG3, sizeof(int) );
6693 PRE_MEM_WRITE( "ioctl(VT_GETMODE)", ARG3, sizeof(struct vki_vt_mode) );
6696 PRE_MEM_READ( "ioctl(VT_SETMODE)", ARG3, sizeof(struct vki_vt_mode) );
6700 (Addr) &(((struct vki_vt_stat*) ARG3)->v_active),
6701 sizeof(((struct vki_vt_stat*) ARG3)->v_active));
6703 (Addr) &(((struct vki_vt_stat*) ARG3)->v_state),
6704 sizeof(((struct vki_vt_stat*) ARG3)->v_state));
6712 ARG3, sizeof(struct vki_vt_sizes) );
6715 PRE_MEM_READ( "ioctl(VT_RESIZEX)", ARG3, sizeof(struct vki_vt_consize) );
6722 if ( ARG3 ) {
6723 struct vki_usbdevfs_ctrltransfer *vkuc = (struct vki_usbdevfs_ctrltransfer *)ARG3;
6737 if ( ARG3 ) {
6738 struct vki_usbdevfs_bulktransfer *vkub = (struct vki_usbdevfs_bulktransfer *)ARG3;
6739 PRE_MEM_READ( "ioctl(USBDEVFS_BULK)", ARG3, sizeof(struct vki_usbdevfs_bulktransfer));
6747 if ( ARG3 ) {
6748 struct vki_usbdevfs_getdriver *vkugd = (struct vki_usbdevfs_getdriver *) ARG3;
6753 if ( ARG3 ) {
6754 struct vki_usbdevfs_urb *vkuu = (struct vki_usbdevfs_urb *)ARG3;
6800 if ( ARG3 ) {
6801 PRE_MEM_WRITE( "ioctl(USBDEVFS_REAPURB)", ARG3, sizeof(struct vki_usbdevfs_urb **));
6805 if ( ARG3 ) {
6806 PRE_MEM_WRITE( "ioctl(USBDEVFS_REAPURBNDELAY)", ARG3, sizeof(struct vki_usbdevfs_urb **));
6810 PRE_MEM_WRITE( "ioctl(USBDEVFS_CONNECTINFO)", ARG3, sizeof(struct vki_usbdevfs_connectinfo));
6813 if ( ARG3 ) {
6814 struct vki_usbdevfs_ioctl *vkui = (struct vki_usbdevfs_ioctl *)ARG3;
6837 PRE_MEM_WRITE( "ioctl(I2C_FUNCS)", ARG3, sizeof(unsigned long) );
6840 if ( ARG3 ) {
6841 struct vki_i2c_rdwr_ioctl_data *vkui = (struct vki_i2c_rdwr_ioctl_data *)ARG3;
6855 if ( ARG3 ) {
6857 = (struct vki_i2c_smbus_ioctl_data *) ARG3;
6935 if (ARG3) {
6937 (Addr)((struct vki_iwreq *)ARG3)->u.name,
6938 sizeof(((struct vki_iwreq *)ARG3)->u.name));
6950 if (ARG3) {
6953 (Addr)&((struct vki_iwreq *)ARG3)->u.nwid,
6958 if (ARG3) {
6960 (Addr)&((struct vki_iwreq *)ARG3)->u.freq,
6965 if (ARG3) {
6967 (Addr)&((struct vki_iwreq *)ARG3)->u.mode,
6983 if (ARG3) {
6985 point = &((struct vki_iwreq *)ARG3)->u.data;
6992 if (ARG3) {
6994 (Addr)&((struct vki_iwreq *)ARG3)->u.ap_addr,
7024 PRE_MEM_WRITE( "ioctl(ASHMEM_SET_NAME)", ARG3, VKI_ASHMEM_NAME_LEN );
7027 PRE_MEM_RASCIIZ( "ioctl(ASHMEM_SET_NAME)", ARG3);
7032 ARG3, sizeof(struct vki_ashmem_pin) );
7037 if (ARG3) {
7039 = (struct vki_binder_write_read*)ARG3;
7075 if (ARG3) {
7076 struct vki_binder_version* bv = (struct vki_binder_version*)ARG3;
7083 if (ARG3) {
7084 struct vki_hci_dev_list_req* dlr = (struct vki_hci_dev_list_req*)ARG3;
7086 (Addr)ARG3, sizeof(struct vki_hci_dev_list_req));
7088 (Addr)ARG3 + sizeof(struct vki_hci_dev_list_req),
7094 if (ARG3) {
7095 struct vki_hci_inquiry_req* ir = (struct vki_hci_inquiry_req*)ARG3;
7097 (Addr)ARG3, sizeof(struct vki_hci_inquiry_req));
7099 (Addr)ARG3 + sizeof(struct vki_hci_inquiry_req),
7105 if (ARG3) {
7106 struct vki_drm_version *data = (struct vki_drm_version *)ARG3;
7122 if (ARG3) {
7123 struct vki_drm_unique *data = (struct vki_drm_unique *)ARG3;
7130 if (ARG3) {
7131 struct vki_drm_auth *data = (struct vki_drm_auth *)ARG3;
7136 if (ARG3) {
7137 union vki_drm_wait_vblank *data = (union vki_drm_wait_vblank *)ARG3;
7145 if (ARG3) {
7146 struct vki_drm_gem_close *data = (struct vki_drm_gem_close *)ARG3;
7151 if (ARG3) {
7152 struct vki_drm_gem_flink *data = (struct vki_drm_gem_flink *)ARG3;
7158 if (ARG3) {
7159 struct vki_drm_gem_open *data = (struct vki_drm_gem_open *)ARG3;
7166 if (ARG3) {
7167 vki_drm_i915_getparam_t *data = (vki_drm_i915_getparam_t *)ARG3;
7173 if (ARG3) {
7174 struct vki_drm_i915_gem_busy *data = (struct vki_drm_i915_gem_busy *)ARG3;
7180 if (ARG3) {
7181 struct vki_drm_i915_gem_create *data = (struct vki_drm_i915_gem_create *)ARG3;
7187 if (ARG3) {
7188 struct vki_drm_i915_gem_pread *data = (struct vki_drm_i915_gem_pread *)ARG3;
7197 if (ARG3) {
7198 struct vki_drm_i915_gem_pwrite *data = (struct vki_drm_i915_gem_pwrite *)ARG3;
7210 if (ARG3) {
7211 struct vki_drm_i915_gem_mmap_gtt *data = (struct vki_drm_i915_gem_mmap_gtt *)ARG3;
7217 if (ARG3) {
7218 struct vki_drm_i915_gem_set_domain *data = (struct vki_drm_i915_gem_set_domain *)ARG3;
7225 if (ARG3) {
7226 struct vki_drm_i915_gem_set_tiling *data = (struct vki_drm_i915_gem_set_tiling *)ARG3;
7234 if (ARG3) {
7235 struct vki_drm_i915_gem_get_tiling *data = (struct vki_drm_i915_gem_get_tiling *)ARG3;
7242 if (ARG3) {
7243 struct vki_drm_i915_gem_get_aperture *data = (struct vki_drm_i915_gem_get_aperture *)ARG3;
7261 (struct vki_kvm_s390_mem_op *)(ARG3);
7262 PRE_MEM_READ("ioctl(KVM_S390_MEM_OP)", ARG3,
7278 (struct vki_xen_privcmd_hypercall *)(ARG3);
7287 harrghs.arg3 = args->arg[2];
7296 PRE_MEM_READ("hypercall", ARG3, sizeof(args->op) +
7304 (struct vki_xen_privcmd_mmap *)(ARG3);
7315 (struct vki_xen_privcmd_mmapbatch *)(ARG3);
7328 (struct vki_xen_privcmd_mmapbatch_v2 *)(ARG3);
7342 (struct vki_xen_ioctl_evtchn_bind_virq *)(ARG3);
7349 (struct vki_xen_ioctl_evtchn_bind_interdomain *)(ARG3);
7358 (struct vki_xen_ioctl_evtchn_bind_unbound_port *)(ARG3);
7365 (struct vki_xen_ioctl_evtchn_unbind *)(ARG3);
7372 (struct vki_xen_ioctl_evtchn_notify*)(ARG3);
7384 struct vki_getinfo_fid2path *gf = (struct vki_getinfo_fid2path *)ARG3;
7385 PRE_MEM_READ("VKI_OBD_IOC_FID2PATH(args)", ARG3, sizeof(struct vki_getinfo_fid2path));
7393 PRE_MEM_WRITE("ioctl(VKI_LL_IOC_PATH2FID)", ARG3, sizeof(struct vki_lu_fid));
7397 struct vki_getparent *gp = (struct vki_getparent *)ARG3;
7407 struct vki_v4l2_capability *data = (struct vki_v4l2_capability *)ARG3;
7412 struct vki_v4l2_fmtdesc *data = (struct vki_v4l2_fmtdesc *)ARG3;
7422 ARG3;
7467 struct vki_v4l2_format *data = (struct vki_v4l2_format *)ARG3;
7507 struct vki_v4l2_format *data = (struct vki_v4l2_format *)ARG3;
7547 struct vki_v4l2_requestbuffers *data = (struct vki_v4l2_requestbuffers *)ARG3;
7552 struct vki_v4l2_buffer *data = (struct vki_v4l2_buffer *)ARG3;
7585 struct vki_v4l2_framebuffer *data = (struct vki_v4l2_framebuffer *)ARG3;
7590 struct vki_v4l2_framebuffer *data = (struct vki_v4l2_framebuffer *)ARG3;
7598 int *data = (int *)ARG3;
7603 struct vki_v4l2_buffer *data = (struct vki_v4l2_buffer *)ARG3;
7657 struct vki_v4l2_exportbuffer *data = (struct vki_v4l2_exportbuffer *)ARG3;
7667 struct vki_v4l2_buffer *data = (struct vki_v4l2_buffer *)ARG3;
7700 int *data = (int *)ARG3;
7705 int *data = (int *)ARG3;
7710 struct vki_v4l2_streamparm *data = (struct vki_v4l2_streamparm *)ARG3;
7729 struct vki_v4l2_streamparm *data = (struct vki_v4l2_streamparm *)ARG3;
7743 vki_v4l2_std_id *data = (vki_v4l2_std_id *)ARG3;
7748 vki_v4l2_std_id *data = (vki_v4l2_std_id *)ARG3;
7753 struct vki_v4l2_standard *data = (struct vki_v4l2_standard *)ARG3;
7759 struct vki_v4l2_input *data = (struct vki_v4l2_input *)ARG3;
7765 struct vki_v4l2_control *data = (struct vki_v4l2_control *)ARG3;
7771 struct vki_v4l2_control *data = (struct vki_v4l2_control *)ARG3;
7776 struct vki_v4l2_tuner *data = (struct vki_v4l2_tuner *)ARG3;
7784 struct vki_v4l2_tuner *data = (struct vki_v4l2_tuner *)ARG3;
7791 struct vki_v4l2_audio *data = (struct vki_v4l2_audio *)ARG3;
7798 struct vki_v4l2_audio *data = (struct vki_v4l2_audio *)ARG3;
7805 struct vki_v4l2_queryctrl *data = (struct vki_v4l2_queryctrl *)ARG3;
7812 struct vki_v4l2_querymenu *data = (struct vki_v4l2_querymenu *)ARG3;
7820 int *data = (int *)ARG3;
7825 int *data = (int *)ARG3;
7830 struct vki_v4l2_edid *data = (struct vki_v4l2_edid *)ARG3;
7837 struct vki_v4l2_edid *data = (struct vki_v4l2_edid *)ARG3;
7844 int *data = (int *)ARG3;
7849 int *data = (int *)ARG3;
7854 struct vki_v4l2_output *data = (struct vki_v4l2_output *)ARG3;
7860 struct vki_v4l2_audioout *data = (struct vki_v4l2_audioout *)ARG3;
7867 struct vki_v4l2_audioout *data = (struct vki_v4l2_audioout *)ARG3;
7874 struct vki_v4l2_modulator *data = (struct vki_v4l2_modulator *)ARG3;
7882 struct vki_v4l2_modulator *data = (struct vki_v4l2_modulator *)ARG3;
7889 struct vki_v4l2_frequency *data = (struct vki_v4l2_frequency *)ARG3;
7897 struct vki_v4l2_frequency *data = (struct vki_v4l2_frequency *)ARG3;
7902 struct vki_v4l2_cropcap *data = (struct vki_v4l2_cropcap *)ARG3;
7908 struct vki_v4l2_crop *data = (struct vki_v4l2_crop *)ARG3;
7914 struct vki_v4l2_crop *data = (struct vki_v4l2_crop *)ARG3;
7919 struct vki_v4l2_jpegcompression *data = (struct vki_v4l2_jpegcompression *)ARG3;
7924 struct vki_v4l2_jpegcompression *data = (struct vki_v4l2_jpegcompression *)ARG3;
7929 vki_v4l2_std_id *data = (vki_v4l2_std_id *)ARG3;
7934 struct vki_v4l2_audio *data = (struct vki_v4l2_audio *)ARG3;
7942 struct vki_v4l2_audioout *data = (struct vki_v4l2_audioout *)ARG3;
7950 __vki_u32 *data = (__vki_u32 *)ARG3;
7955 __vki_u32 *data = (__vki_u32 *)ARG3;
7960 struct vki_v4l2_sliced_vbi_cap *data = (struct vki_v4l2_sliced_vbi_cap *)ARG3;
7968 struct vki_v4l2_ext_controls *data = (struct vki_v4l2_ext_controls *)ARG3;
7994 struct vki_v4l2_ext_controls *data = (struct vki_v4l2_ext_controls *)ARG3;
8015 struct vki_v4l2_ext_controls *data = (struct vki_v4l2_ext_controls *)ARG3;
8036 struct vki_v4l2_frmsizeenum *data = (struct vki_v4l2_frmsizeenum *)ARG3;
8045 struct vki_v4l2_frmivalenum *data = (struct vki_v4l2_frmivalenum *)ARG3;
8056 struct vki_v4l2_enc_idx *data = (struct vki_v4l2_enc_idx *)ARG3;
8061 struct vki_v4l2_encoder_cmd *data = (struct vki_v4l2_encoder_cmd *)ARG3;
8066 struct vki_v4l2_encoder_cmd *data = (struct vki_v4l2_encoder_cmd *)ARG3;
8071 struct vki_v4l2_dbg_register *data = (struct vki_v4l2_dbg_register *)ARG3;
8080 struct vki_v4l2_dbg_register *data = (struct vki_v4l2_dbg_register *)ARG3;
8089 struct vki_v4l2_hw_freq_seek *data = (struct vki_v4l2_hw_freq_seek *)ARG3;
8094 struct vki_v4l2_dv_timings *data = (struct vki_v4l2_dv_timings *)ARG3;
8100 struct vki_v4l2_dv_timings *data = (struct vki_v4l2_dv_timings *)ARG3;
8105 struct vki_v4l2_event *data = (struct vki_v4l2_event *)ARG3;
8110 struct vki_v4l2_event_subscription *data = (struct vki_v4l2_event_subscription *)ARG3;
8115 struct vki_v4l2_event_subscription *data = (struct vki_v4l2_event_subscription *)ARG3;
8120 struct vki_v4l2_create_buffers *data = (struct vki_v4l2_create_buffers *)ARG3;
8155 struct vki_v4l2_buffer *data = (struct vki_v4l2_buffer *)ARG3;
8174 struct vki_v4l2_selection *data = (struct vki_v4l2_selection *)ARG3;
8183 struct vki_v4l2_selection *data = (struct vki_v4l2_selection *)ARG3;
8188 struct vki_v4l2_decoder_cmd *data = (struct vki_v4l2_decoder_cmd *)ARG3;
8193 struct vki_v4l2_decoder_cmd *data = (struct vki_v4l2_decoder_cmd *)ARG3;
8198 struct vki_v4l2_enum_dv_timings *data = (struct vki_v4l2_enum_dv_timings *)ARG3;
8206 struct vki_v4l2_dv_timings *data = (struct vki_v4l2_dv_timings *)ARG3;
8211 struct vki_v4l2_dv_timings_cap *data = (struct vki_v4l2_dv_timings_cap *)ARG3;
8216 struct vki_v4l2_frequency_band *data = (struct vki_v4l2_frequency_band *)ARG3;
8228 struct vki_v4l2_dbg_chip_info *data = (struct vki_v4l2_dbg_chip_info *)ARG3;
8237 struct vki_v4l2_query_ext_ctrl *data = (struct vki_v4l2_query_ext_ctrl *)ARG3;
8245 struct vki_v4l2_subdev_format *data = (struct vki_v4l2_subdev_format *)ARG3;
8253 struct vki_v4l2_subdev_format *data = (struct vki_v4l2_subdev_format *)ARG3;
8258 struct vki_v4l2_subdev_frame_interval *data = (struct vki_v4l2_subdev_frame_interval *)ARG3;
8265 struct vki_v4l2_subdev_frame_interval *data = (struct vki_v4l2_subdev_frame_interval *)ARG3;
8270 struct vki_v4l2_subdev_mbus_code_enum *data = (struct vki_v4l2_subdev_mbus_code_enum *)ARG3;
8279 struct vki_v4l2_subdev_frame_size_enum *data = (struct vki_v4l2_subdev_frame_size_enum *)ARG3;
8292 struct vki_v4l2_subdev_frame_interval_enum *data = (struct vki_v4l2_subdev_frame_interval_enum *)ARG3;
8304 struct vki_v4l2_subdev_crop *data = (struct vki_v4l2_subdev_crop *)ARG3;
8312 struct vki_v4l2_subdev_crop *data = (struct vki_v4l2_subdev_crop *)ARG3;
8317 struct vki_v4l2_subdev_selection *data = (struct vki_v4l2_subdev_selection *)ARG3;
8327 struct vki_v4l2_subdev_selection *data = (struct vki_v4l2_subdev_selection *)ARG3;
8332 struct vki_media_device_info *data = (struct vki_media_device_info *)ARG3;
8339 struct vki_media_entity_desc *data = (struct vki_media_entity_desc *)ARG3;
8346 struct vki_media_links_enum *data = (struct vki_media_links_enum *)ARG3;
8351 struct vki_media_link_desc *data = (struct vki_media_link_desc *)ARG3;
8358 struct vki_serial_struct *data = (struct vki_serial_struct *)ARG3;
8363 struct vki_serial_struct *data = (struct vki_serial_struct *)ARG3;
8390 PRE_MEM_WRITE("ioctl(EVIO*)", ARG3, _VKI_IOC_SIZE(ARG2));
8393 ML_(PRE_unknown_ioctl)(tid, ARG2, ARG3);
8412 if (ARG2 >= 0xC01C6700 && ARG2 <= 0xC01C67FF && ARG3 >= 0x1000) {
8421 might think that "POST_MEM_WRITE(ARG3, 28)" would fix it.
8424 It requires POST_MEM_WRITE(ARG3, 256) to silence them.
8425 One interpretation of this is that ARG3 really does point
8431 By printing out ARG3 and also the 28 bytes that it points
8444 POST_MEM_WRITE(ARG3, 256);
8447 POST_MEM_WRITE(ARG3, 28);
8448 UInt* word = (UInt*)ARG3;
8463 POST_MEM_WRITE(ARG3, 24); // 16 is not enough
8479 = (struct vki_ion_allocation_data*)ARG3;
8484 struct vki_ion_fd_data* data = (struct vki_ion_fd_data*)ARG3;
8489 POST_MEM_WRITE(ARG3, sizeof(struct vki_ion_handle_data));
8494 struct vki_ion_fd_data* data = (struct vki_ion_fd_data*)ARG3;
8501 POST_MEM_WRITE(ARG3, sizeof(struct vki_ion_custom_data));
8505 struct vki_sync_merge_data* data = (struct vki_sync_merge_data*)ARG3;
8516 POST_MEM_WRITE( ARG3, sizeof(struct vki_termios) );
8523 POST_MEM_WRITE( ARG3, sizeof(struct vki_termio) );
8532 POST_MEM_WRITE( ARG3, sizeof(struct vki_winsize) );
8540 POST_MEM_WRITE( ARG3, sizeof(unsigned int) );
8543 POST_MEM_WRITE( ARG3, sizeof(char *) );
8547 POST_MEM_WRITE( ARG3, sizeof(vki_pid_t) );
8551 POST_MEM_WRITE( ARG3, sizeof(vki_pid_t) );
8554 POST_MEM_WRITE( ARG3, sizeof(int));
8571 POST_MEM_WRITE( ARG3, sizeof(int) );
8574 POST_MEM_WRITE( ARG3, sizeof(vki_loff_t) );
8578 POST_MEM_WRITE( ARG3, sizeof(int) );
8581 POST_MEM_WRITE( ARG3, sizeof(struct vki_serial_icounter_struct) );
8588 vki_sg_io_hdr_t *sgio = (vki_sg_io_hdr_t*)ARG3;
8600 POST_MEM_WRITE(ARG3, sizeof(vki_sg_scsi_id_t));
8607 POST_MEM_WRITE(ARG3, sizeof(int));
8612 POST_MEM_WRITE(ARG3, sizeof(int));
8615 POST_MEM_WRITE(ARG3, sizeof(int));
8618 POST_MEM_WRITE(ARG3, sizeof(int));
8622 POST_MEM_WRITE( ARG3, VKI_ISDN_MAX_CHANNELS * 2 * sizeof(unsigned long) );
8625 POST_MEM_WRITE( ARG3, sizeof(vki_isdn_net_ioctl_phone) );
8630 POST_MEM_WRITE( (Addr)&((struct vki_ifreq *)ARG3)->vki_ifr_ifindex,
8631 sizeof(((struct vki_ifreq *)ARG3)->vki_ifr_ifindex) );
8634 POST_MEM_WRITE( (Addr)&((struct vki_ifreq *)ARG3)->vki_ifr_flags,
8635 sizeof(((struct vki_ifreq *)ARG3)->vki_ifr_flags) );
8638 POST_MEM_WRITE( (Addr)&((struct vki_ifreq *)ARG3)->vki_ifr_hwaddr,
8639 sizeof(((struct vki_ifreq *)ARG3)->vki_ifr_hwaddr) );
8642 POST_MEM_WRITE( (Addr)&((struct vki_ifreq *)ARG3)->vki_ifr_mtu,
8643 sizeof(((struct vki_ifreq *)ARG3)->vki_ifr_mtu) );
8650 (Addr)&((struct vki_ifreq *)ARG3)->vki_ifr_addr,
8651 sizeof(((struct vki_ifreq *)ARG3)->vki_ifr_addr) );
8655 (Addr)&((struct vki_ifreq *)ARG3)->vki_ifr_metric,
8656 sizeof(((struct vki_ifreq *)ARG3)->vki_ifr_metric) );
8660 (Addr)&((struct vki_ifreq *)ARG3)->vki_ifr_map,
8661 sizeof(((struct vki_ifreq *)ARG3)->vki_ifr_map) );
8666 (Addr)&((struct vki_ifreq *)ARG3)->vki_ifr_qlen,
8667 sizeof(((struct vki_ifreq *)ARG3)->vki_ifr_qlen) );
8671 (Addr)&((struct vki_ifreq *)ARG3)->vki_ifr_name,
8672 sizeof(((struct vki_ifreq *)ARG3)->vki_ifr_name) );
8675 struct vki_ifreq *ir = (struct vki_ifreq *)ARG3;
8756 (Addr)&((struct vki_mii_ioctl_data *)&((struct vki_ifreq *)ARG3)->vki_ifr_data)->phy_id,
8757 sizeof(((struct vki_mii_ioctl_data *)&((struct vki_ifreq *)ARG3)->vki_ifr_data)->phy_id) );
8761 (Addr)&((struct vki_mii_ioctl_data *)&((struct vki_ifreq *)ARG3)->vki_ifr_data)->val_out,
8762 sizeof(((struct vki_mii_ioctl_data *)&((struct vki_ifreq *)ARG3)->vki_ifr_data)->val_out) );
8767 POST_MEM_WRITE( (Addr)&((struct vki_ifreq *)ARG3)->vki_ifr_name,
8768 sizeof(((struct vki_ifreq *)ARG3)->vki_ifr_name) );
8771 POST_MEM_WRITE( ARG3, sizeof(unsigned int) );
8774 POST_MEM_WRITE( (Addr)&((struct vki_ifreq *)ARG3)->vki_ifr_name,
8775 sizeof(((struct vki_ifreq *)ARG3)->vki_ifr_name) );
8776 POST_MEM_WRITE( (Addr)&((struct vki_ifreq *)ARG3)->vki_ifr_flags,
8777 sizeof(((struct vki_ifreq *)ARG3)->vki_ifr_flags) );
8780 POST_MEM_WRITE( ARG3, sizeof(int) );
8783 POST_MEM_WRITE( ARG3, sizeof(int) );
8788 PRE_MEM_WRITE("ioctl(SIOCGIFCONF)", ARG3, sizeof(struct ifconf));
8791 POST_MEM_WRITE(ARG3, sizeof(struct ifconf));
8793 if (RES == 0 && ARG3 ) {
8794 struct vki_ifconf *ifc = (struct vki_ifconf *) ARG3;
8800 POST_MEM_WRITE( ARG3, sizeof(struct vki_timeval) );
8803 POST_MEM_WRITE( ARG3, sizeof(struct vki_timespec) );
8810 POST_MEM_WRITE(ARG3, sizeof(int));
8814 POST_MEM_WRITE(ARG3, sizeof(struct vki_arpreq));
8844 POST_MEM_WRITE(ARG3, sizeof(int));
8850 POST_MEM_WRITE(ARG3, sizeof(int));
8873 POST_MEM_WRITE(ARG3, sizeof(int));
8892 POST_MEM_WRITE(ARG3, sizeof(vki_audio_buf_info));
8922 POST_MEM_WRITE( (Addr)ARG3, sizeof(int) );
8926 POST_MEM_WRITE( (Addr)ARG3, sizeof(struct vki_snd_ctl_card_info) );
8929 struct vki_snd_ctl_elem_list *data = (struct vki_snd_ctl_elem_list *)ARG3;
8938 struct vki_snd_ctl_tlv *data = (struct vki_snd_ctl_tlv *)ARG3;
8962 POST_MEM_WRITE(ARG3, sizeof(struct vki_rtc_time));
8967 POST_MEM_WRITE(ARG3, sizeof(unsigned long));
8974 POST_MEM_WRITE(ARG3, sizeof(int));
8977 POST_MEM_WRITE(ARG3, sizeof(unsigned long));
8982 POST_MEM_WRITE(ARG3, sizeof(long));
8987 POST_MEM_WRITE(ARG3, sizeof(long));
8990 POST_MEM_WRITE(ARG3, sizeof(unsigned short));
8993 POST_MEM_WRITE(ARG3, sizeof(int));
8996 POST_MEM_WRITE(ARG3, sizeof(int));
9001 POST_MEM_WRITE(ARG3, sizeof(unsigned long long));
9004 POST_MEM_WRITE(ARG3, sizeof(int));
9007 POST_MEM_WRITE(ARG3, sizeof(vki_uint));
9012 POST_MEM_WRITE(ARG3, sizeof(struct vki_hd_geometry));
9015 POST_MEM_WRITE(ARG3, sizeof(long));
9018 POST_MEM_WRITE(ARG3, VKI_SIZEOF_STRUCT_HD_DRIVEID );
9023 POST_MEM_WRITE(ARG3, sizeof(struct vki_scsi_idlun));
9026 POST_MEM_WRITE(ARG3, sizeof(int));
9033 POST_MEM_WRITE(ARG3, sizeof(struct vki_cdrom_subchnl));
9036 POST_MEM_WRITE(ARG3, sizeof(struct vki_cdrom_tochdr));
9039 POST_MEM_WRITE(ARG3, sizeof(struct vki_cdrom_tocentry));
9042 POST_MEM_WRITE(ARG3, sizeof(struct vki_cdrom_multisession));
9045 POST_MEM_WRITE(ARG3, sizeof(struct vki_cdrom_volctrl));
9048 POST_MEM_WRITE(ARG3, VKI_CD_FRAMESIZE_RAW);
9052 struct vki_cdrom_read_audio *cra = (struct vki_cdrom_read_audio *) ARG3;
9068 POST_MEM_WRITE(ARG3, sizeof(unsigned long));
9071 POST_MEM_WRITE(ARG3, sizeof(int));
9075 POST_MEM_WRITE(ARG3, sizeof(struct vki_fb_var_screeninfo));
9078 POST_MEM_WRITE(ARG3, sizeof(struct vki_fb_fix_screeninfo));
9097 POST_MEM_WRITE( ARG3, sizeof(int) );
9100 POST_MEM_WRITE( ARG3, sizeof(int) );
9103 POST_MEM_WRITE( ARG3, sizeof(unsigned int) );
9106 POST_MEM_WRITE( ARG3, sizeof(int) );
9109 POST_MEM_WRITE( ARG3, sizeof(unsigned char) );
9112 POST_MEM_WRITE( ARG3, sizeof(unsigned char) );
9115 POST_MEM_WRITE( ARG3, sizeof(unsigned char) );
9118 POST_MEM_WRITE( ARG3, sizeof(int) );
9121 POST_MEM_WRITE( ARG3, sizeof(struct vki_timeval) );
9125 POST_MEM_WRITE( ARG3, 32 * 256 );
9131 POST_MEM_WRITE( (Addr)((struct vki_consolefontdesc *)ARG3)->chardata,
9132 32 * ((struct vki_consolefontdesc *)ARG3)->charcount );
9141 POST_MEM_WRITE( ARG3, 16 * 3 );
9151 POST_MEM_WRITE( ARG3, sizeof(char) );
9157 POST_MEM_WRITE( ARG3, sizeof(char) );
9169 POST_MEM_WRITE( ARG3, sizeof(int) );
9177 POST_MEM_WRITE( ARG3, VKI_E_TABSZ );
9182 POST_MEM_WRITE( ARG3, VKI_E_TABSZ * sizeof(unsigned short) );
9188 if ( ARG3 ) {
9189 struct vki_unimapdesc *desc = (struct vki_unimapdesc *) ARG3;
9201 POST_MEM_WRITE( ARG3, sizeof(int) );
9207 POST_MEM_WRITE( ARG3, sizeof(int) );
9213 POST_MEM_WRITE( ARG3, sizeof(char) );
9219 POST_MEM_WRITE( (Addr)&((struct vki_kbentry *)ARG3)->kb_value,
9220 sizeof(((struct vki_kbentry *)ARG3)->kb_value) );
9226 POST_MEM_WRITE( (Addr)((struct vki_kbsentry *)ARG3)->kb_string,
9227 sizeof(((struct vki_kbsentry *)ARG3)->kb_string) );
9233 POST_MEM_WRITE( ARG3, sizeof(struct vki_kbdiacrs) );
9239 POST_MEM_WRITE( (Addr)((struct vki_kbkeycode *)ARG3)->keycode,
9240 sizeof(((struct vki_kbkeycode *)ARG3)->keycode) );
9252 if ( ARG3 ) {
9253 struct vki_console_font_op *op = (struct vki_console_font_op *) ARG3;
9272 POST_MEM_WRITE( ARG3, sizeof(int) );
9275 POST_MEM_WRITE( ARG3, sizeof(struct vki_vt_mode) );
9280 POST_MEM_WRITE( (Addr) &(((struct vki_vt_stat*) ARG3)->v_active),
9281 sizeof(((struct vki_vt_stat*) ARG3)->v_active) );
9282 POST_MEM_WRITE( (Addr) &(((struct vki_vt_stat*) ARG3)->v_state),
9283 sizeof(((struct vki_vt_stat*) ARG3)->v_state) );
9299 if ( ARG3 ) {
9300 struct vki_usbdevfs_ctrltransfer *vkuc = (struct vki_usbdevfs_ctrltransfer *)ARG3;
9306 if ( ARG3 ) {
9307 struct vki_usbdevfs_bulktransfer *vkub = (struct vki_usbdevfs_bulktransfer *)ARG3;
9313 if ( ARG3 ) {
9314 struct vki_usbdevfs_getdriver *vkugd = (struct vki_usbdevfs_getdriver *)ARG3;
9320 if ( ARG3 ) {
9321 struct vki_usbdevfs_urb **vkuu = (struct vki_usbdevfs_urb**)ARG3;
9350 POST_MEM_WRITE(ARG3, sizeof(struct vki_usbdevfs_connectinfo));
9353 if ( ARG3 ) {
9354 struct vki_usbdevfs_ioctl *vkui = (struct vki_usbdevfs_ioctl *)ARG3;
9372 POST_MEM_WRITE( ARG3, sizeof(unsigned long) );
9375 if ( ARG3 ) {
9376 struct vki_i2c_rdwr_ioctl_data *vkui = (struct vki_i2c_rdwr_ioctl_data *)ARG3;
9386 if ( ARG3 ) {
9388 = (struct vki_i2c_smbus_ioctl_data *) ARG3;
9449 if (ARG3) {
9450 POST_MEM_WRITE((Addr)((struct vki_iwreq *)ARG3)->u.name,
9451 sizeof(((struct vki_iwreq *)ARG3)->u.name));
9463 if (ARG3) {
9464 POST_MEM_WRITE((Addr)&((struct vki_iwreq *)ARG3)->u.param,
9469 if (ARG3) {
9470 POST_MEM_WRITE((Addr)&((struct vki_iwreq *)ARG3)->u.freq,
9475 if (ARG3) {
9476 POST_MEM_WRITE((Addr)&((struct vki_iwreq *)ARG3)->u.mode,
9492 if (ARG3) {
9494 point = &((struct vki_iwreq *)ARG3)->u.data;
9499 if (ARG3) {
9500 POST_MEM_WRITE((Addr)&((struct vki_iwreq *)ARG3)->u.ap_addr,
9519 POST_MEM_WRITE( ARG3, VKI_ASHMEM_NAME_LEN );
9524 if (ARG3) {
9526 = (struct vki_binder_write_read*)ARG3;
9542 if (ARG3) {
9543 struct vki_binder_version* bv = (struct vki_binder_version*)ARG3;
9550 if (ARG3) {
9551 struct vki_hci_dev_list_req* dlr = (struct vki_hci_dev_list_req*)ARG3;
9552 POST_MEM_WRITE((Addr)ARG3 + sizeof(struct vki_hci_dev_list_req),
9558 if (ARG3) {
9559 struct vki_hci_inquiry_req* ir = (struct vki_hci_inquiry_req*)ARG3;
9560 POST_MEM_WRITE((Addr)ARG3 + sizeof(struct vki_hci_inquiry_req),
9566 if (ARG3) {
9567 struct vki_drm_version *data = (struct vki_drm_version *)ARG3;
9580 if (ARG3) {
9581 struct vki_drm_unique *data = (struct vki_drm_unique *)ARG3;
9586 if (ARG3) {
9587 struct vki_drm_auth *data = (struct vki_drm_auth *)ARG3;
9592 if (ARG3) {
9593 union vki_drm_wait_vblank *data = (union vki_drm_wait_vblank *)ARG3;
9598 if (ARG3) {
9599 struct vki_drm_gem_flink *data = (struct vki_drm_gem_flink *)ARG3;
9604 if (ARG3) {
9605 struct vki_drm_gem_open *data = (struct vki_drm_gem_open *)ARG3;
9611 if (ARG3) {
9612 vki_drm_i915_getparam_t *data = (vki_drm_i915_getparam_t *)ARG3;
9617 if (ARG3) {
9618 struct vki_drm_i915_gem_busy *data = (struct vki_drm_i915_gem_busy *)ARG3;
9623 if (ARG3) {
9624 struct vki_drm_i915_gem_create *data = (struct vki_drm_i915_gem_create *)ARG3;
9629 if (ARG3) {
9630 struct vki_drm_i915_gem_pread *data = (struct vki_drm_i915_gem_pread *)ARG3;
9635 if (ARG3) {
9636 struct vki_drm_i915_gem_mmap_gtt *data = (struct vki_drm_i915_gem_mmap_gtt *)ARG3;
9641 if (ARG3) {
9642 struct vki_drm_i915_gem_set_tiling *data = (struct vki_drm_i915_gem_set_tiling *)ARG3;
9649 if (ARG3) {
9650 struct vki_drm_i915_gem_get_tiling *data = (struct vki_drm_i915_gem_get_tiling *)ARG3;
9656 if (ARG3) {
9657 struct vki_drm_i915_gem_get_aperture *data = (struct vki_drm_i915_gem_get_aperture *)ARG3;
9679 (struct vki_kvm_s390_mem_op *)(ARG3);
9691 (struct vki_xen_privcmd_hypercall *)(ARG3);
9700 harrghs.arg3 = args->arg[2];
9713 (struct vki_xen_privcmd_mmapbatch *)(ARG3);
9719 (struct vki_xen_privcmd_mmapbatch_v2 *)(ARG3);
9736 struct vki_getinfo_fid2path *args = (void *)(ARG3);
9744 POST_MEM_WRITE(ARG3, sizeof(struct vki_lu_fid));
9748 struct vki_getparent *gp = (struct vki_getparent *)ARG3;
9782 struct vki_v4l2_capability *data = (struct vki_v4l2_capability *)ARG3;
9787 struct vki_v4l2_fmtdesc *data = (struct vki_v4l2_fmtdesc *)ARG3;
9795 struct vki_v4l2_format *data = (struct vki_v4l2_format *)ARG3;
9824 struct vki_v4l2_buffer *data = (struct vki_v4l2_buffer *)ARG3;
9851 struct vki_v4l2_framebuffer *data = (struct vki_v4l2_framebuffer *)ARG3;
9856 struct vki_v4l2_framebuffer *data = (struct vki_v4l2_framebuffer *)ARG3;
9863 struct vki_v4l2_buffer *data = (struct vki_v4l2_buffer *)ARG3;
9882 struct vki_v4l2_exportbuffer *data = (struct vki_v4l2_exportbuffer *)ARG3;
9887 ARG3;
9913 struct vki_v4l2_streamparm *data = (struct vki_v4l2_streamparm *)ARG3;
9928 vki_v4l2_std_id *data = (vki_v4l2_std_id *)ARG3;
9933 struct vki_v4l2_standard *data = (struct vki_v4l2_standard *)ARG3;
9938 struct vki_v4l2_input *data = (struct vki_v4l2_input *)ARG3;
9943 struct vki_v4l2_control *data = (struct vki_v4l2_control *)ARG3;
9948 struct vki_v4l2_tuner *data = (struct vki_v4l2_tuner *)ARG3;
9954 struct vki_v4l2_audio *data = (struct vki_v4l2_audio *)ARG3;
9960 struct vki_v4l2_queryctrl *data = (struct vki_v4l2_queryctrl *)ARG3;
9966 struct vki_v4l2_querymenu *data = (struct vki_v4l2_querymenu *)ARG3;
9972 int *data = (int *)ARG3;
9977 struct vki_v4l2_edid *data = (struct vki_v4l2_edid *)ARG3;
9983 int *data = (int *)ARG3;
9988 struct vki_v4l2_output *data = (struct vki_v4l2_output *)ARG3;
9993 struct vki_v4l2_audioout *data = (struct vki_v4l2_audioout *)ARG3;
9999 struct vki_v4l2_modulator *data = (struct vki_v4l2_modulator *)ARG3;
10005 struct vki_v4l2_frequency *data = (struct vki_v4l2_frequency *)ARG3;
10011 struct vki_v4l2_cropcap *data = (struct vki_v4l2_cropcap *)ARG3;
10016 struct vki_v4l2_crop *data = (struct vki_v4l2_crop *)ARG3;
10021 struct vki_v4l2_jpegcompression *data = (struct vki_v4l2_jpegcompression *)ARG3;
10026 vki_v4l2_std_id *data = (vki_v4l2_std_id *)ARG3;
10031 struct vki_v4l2_audio *data = (struct vki_v4l2_audio *)ARG3;
10037 struct vki_v4l2_audioout *data = (struct vki_v4l2_audioout *)ARG3;
10043 __vki_u32 *data = (__vki_u32 *)ARG3;
10048 struct vki_v4l2_sliced_vbi_cap *data = (struct vki_v4l2_sliced_vbi_cap *)ARG3;
10054 struct vki_v4l2_ext_controls *data = (struct vki_v4l2_ext_controls *)ARG3;
10069 struct vki_v4l2_ext_controls *data = (struct vki_v4l2_ext_controls *)ARG3;
10074 struct vki_v4l2_ext_controls *data = (struct vki_v4l2_ext_controls *)ARG3;
10079 struct vki_v4l2_frmsizeenum *data = (struct vki_v4l2_frmsizeenum *)ARG3;
10085 struct vki_v4l2_frmivalenum *data = (struct vki_v4l2_frmivalenum *)ARG3;
10091 struct vki_v4l2_enc_idx *data = (struct vki_v4l2_enc_idx *)ARG3;
10096 struct vki_v4l2_encoder_cmd *data = (struct vki_v4l2_encoder_cmd *)ARG3;
10101 struct vki_v4l2_encoder_cmd *data = (struct vki_v4l2_encoder_cmd *)ARG3;
10106 struct vki_v4l2_dbg_register *data = (struct vki_v4l2_dbg_register *)ARG3;
10111 struct vki_v4l2_dbg_register *data = (struct vki_v4l2_dbg_register *)ARG3;
10117 struct vki_v4l2_dv_timings *data = (struct vki_v4l2_dv_timings *)ARG3;
10122 struct vki_v4l2_event *data = (struct vki_v4l2_event *)ARG3;
10127 struct vki_v4l2_create_buffers *data = (struct vki_v4l2_create_buffers *)ARG3;
10132 struct vki_v4l2_selection *data = (struct vki_v4l2_selection *)ARG3;
10137 struct vki_v4l2_selection *data = (struct vki_v4l2_selection *)ARG3;
10142 struct vki_v4l2_decoder_cmd *data = (struct vki_v4l2_decoder_cmd *)ARG3;
10147 struct vki_v4l2_decoder_cmd *data = (struct vki_v4l2_decoder_cmd *)ARG3;
10152 struct vki_v4l2_enum_dv_timings *data = (struct vki_v4l2_enum_dv_timings *)ARG3;
10157 struct vki_v4l2_dv_timings *data = (struct vki_v4l2_dv_timings *)ARG3;
10162 struct vki_v4l2_dv_timings_cap *data = (struct vki_v4l2_dv_timings_cap *)ARG3;
10167 struct vki_v4l2_frequency_band *data = (struct vki_v4l2_frequency_band *)ARG3;
10175 struct vki_v4l2_dbg_chip_info *data = (struct vki_v4l2_dbg_chip_info *)ARG3;
10181 struct vki_v4l2_query_ext_ctrl *data = (struct vki_v4l2_query_ext_ctrl *)ARG3;
10194 struct vki_v4l2_subdev_format *data = (struct vki_v4l2_subdev_format *)ARG3;
10199 struct vki_v4l2_subdev_frame_interval *data = (struct vki_v4l2_subdev_frame_interval *)ARG3;
10204 struct vki_v4l2_subdev_mbus_code_enum *data = (struct vki_v4l2_subdev_mbus_code_enum *)ARG3;
10209 struct vki_v4l2_subdev_frame_size_enum *data = (struct vki_v4l2_subdev_frame_size_enum *)ARG3;
10217 struct vki_v4l2_subdev_frame_interval_enum *data = (struct vki_v4l2_subdev_frame_interval_enum *)ARG3;
10222 struct vki_v4l2_subdev_crop *data = (struct vki_v4l2_subdev_crop *)ARG3;
10227 struct vki_v4l2_subdev_selection *data = (struct vki_v4l2_subdev_selection *)ARG3;
10232 struct vki_media_device_info *data = (struct vki_media_device_info *)ARG3;
10237 struct vki_media_entity_desc *data = (struct vki_media_entity_desc *)ARG3;
10252 struct vki_serial_struct *data = (struct vki_serial_struct *)ARG3;
10282 POST_MEM_WRITE(ARG3, RES);
10285 ML_(POST_unknown_ioctl)(tid, RES, ARG2, ARG3);
10302 UWord arg3, UWord arg4 )
10306 Addr optval_p = arg3;
10317 struct vki_sctp_getaddrs *ga = (struct vki_sctp_getaddrs*)arg3;
10329 UWord arg3, UWord arg4 )
10331 Addr optval_p = arg3;
10341 struct vki_sctp_getaddrs *ga = (struct vki_sctp_getaddrs*)arg3;
10364 UWord arg3, UWord arg4 )
10368 Addr optval_p = arg3;
10406 arg3, /* optval */
10414 UWord arg1, UWord arg2, UWord arg3,
10420 for (i = 0; i < arg3; i++) {
10432 UWord arg1, UWord arg2, UWord arg3,
10449 UWord arg1, UWord arg2, UWord arg3, UWord arg4 )
10454 for (i = 0; i < arg3; i++) {
10464 UWord arg1, UWord arg2, UWord arg3, UWord arg4 )
10480 ML_(linux_PRE_getregset) ( ThreadId tid, long arg3, long arg4 )
10493 ML_(linux_PRE_setregset) ( ThreadId tid, long arg3, long arg4 )
10506 ML_(linux_POST_getregset) ( ThreadId tid, long arg3, long arg4 )
10511 less than iov_len, depending on the regset (arg3). */
10518 switch (ARG3) {
