linux(4): Regen for futex system call.

MFC after:	2 weeks
This commit is contained in:
Dmitry Chagin 2021-06-10 14:16:40 +03:00
parent 3c1de151e3
commit ee64d98204
10 changed files with 45 additions and 45 deletions

View File

@ -706,12 +706,12 @@ struct linux_time_args {
char tm_l_[PADL_(l_time_t *)]; l_time_t * tm; char tm_r_[PADR_(l_time_t *)];
};
struct linux_sys_futex_args {
char uaddr_l_[PADL_(void *)]; void * uaddr; char uaddr_r_[PADR_(void *)];
char uaddr_l_[PADL_(uint32_t *)]; uint32_t * uaddr; char uaddr_r_[PADR_(uint32_t *)];
char op_l_[PADL_(l_int)]; l_int op; char op_r_[PADR_(l_int)];
char val_l_[PADL_(l_int)]; l_int val; char val_r_[PADR_(l_int)];
char val_l_[PADL_(uint32_t)]; uint32_t val; char val_r_[PADR_(uint32_t)];
char timeout_l_[PADL_(struct l_timespec *)]; struct l_timespec * timeout; char timeout_r_[PADR_(struct l_timespec *)];
char uaddr2_l_[PADL_(void *)]; void * uaddr2; char uaddr2_r_[PADR_(void *)];
char val3_l_[PADL_(l_int)]; l_int val3; char val3_r_[PADR_(l_int)];
char uaddr2_l_[PADL_(uint32_t *)]; uint32_t * uaddr2; char uaddr2_r_[PADR_(uint32_t *)];
char val3_l_[PADL_(uint32_t)]; uint32_t val3; char val3_r_[PADR_(uint32_t)];
};
struct linux_sched_setaffinity_args {
char pid_l_[PADL_(l_pid_t)]; l_pid_t pid; char pid_r_[PADR_(l_pid_t)];

View File

@ -1563,12 +1563,12 @@ systrace_args(int sysnum, void *params, uint64_t *uarg, int *n_args)
/* linux_sys_futex */
case 202: {
struct linux_sys_futex_args *p = params;
uarg[0] = (intptr_t)p->uaddr; /* void * */
uarg[0] = (intptr_t)p->uaddr; /* uint32_t * */
iarg[1] = p->op; /* l_int */
iarg[2] = p->val; /* l_int */
uarg[2] = p->val; /* uint32_t */
uarg[3] = (intptr_t)p->timeout; /* struct l_timespec * */
uarg[4] = (intptr_t)p->uaddr2; /* void * */
iarg[5] = p->val3; /* l_int */
uarg[4] = (intptr_t)p->uaddr2; /* uint32_t * */
uarg[5] = p->val3; /* uint32_t */
*n_args = 6;
break;
}
@ -5237,22 +5237,22 @@ systrace_entry_setargdesc(int sysnum, int ndx, char *desc, size_t descsz)
case 202:
switch (ndx) {
case 0:
p = "userland void *";
p = "userland uint32_t *";
break;
case 1:
p = "l_int";
break;
case 2:
p = "l_int";
p = "uint32_t";
break;
case 3:
p = "userland struct l_timespec *";
break;
case 4:
p = "userland void *";
p = "userland uint32_t *";
break;
case 5:
p = "l_int";
p = "uint32_t";
break;
default:
break;

View File

@ -782,8 +782,8 @@ struct linux_sendfile64_args {
char count_l_[PADL_(l_size_t)]; l_size_t count; char count_r_[PADR_(l_size_t)];
};
struct linux_sys_futex_args {
char uaddr_l_[PADL_(void *)]; void * uaddr; char uaddr_r_[PADR_(void *)];
char op_l_[PADL_(int)]; int op; char op_r_[PADR_(int)];
char uaddr_l_[PADL_(uint32_t *)]; uint32_t * uaddr; char uaddr_r_[PADR_(uint32_t *)];
char op_l_[PADL_(l_int)]; l_int op; char op_r_[PADR_(l_int)];
char val_l_[PADL_(uint32_t)]; uint32_t val; char val_r_[PADR_(uint32_t)];
char timeout_l_[PADL_(struct l_timespec *)]; struct l_timespec * timeout; char timeout_r_[PADR_(struct l_timespec *)];
char uaddr2_l_[PADL_(uint32_t *)]; uint32_t * uaddr2; char uaddr2_r_[PADR_(uint32_t *)];

View File

@ -1692,8 +1692,8 @@ systrace_args(int sysnum, void *params, uint64_t *uarg, int *n_args)
/* linux_sys_futex */
case 240: {
struct linux_sys_futex_args *p = params;
uarg[0] = (intptr_t)p->uaddr; /* void * */
iarg[1] = p->op; /* int */
uarg[0] = (intptr_t)p->uaddr; /* uint32_t * */
iarg[1] = p->op; /* l_int */
uarg[2] = p->val; /* uint32_t */
uarg[3] = (intptr_t)p->timeout; /* struct l_timespec * */
uarg[4] = (intptr_t)p->uaddr2; /* uint32_t * */
@ -5851,10 +5851,10 @@ systrace_entry_setargdesc(int sysnum, int ndx, char *desc, size_t descsz)
case 240:
switch (ndx) {
case 0:
p = "userland void *";
p = "userland uint32_t *";
break;
case 1:
p = "int";
p = "l_int";
break;
case 2:
p = "uint32_t";

View File

@ -648,8 +648,8 @@ struct linux_sendfile64_args {
char count_l_[PADL_(l_size_t)]; l_size_t count; char count_r_[PADR_(l_size_t)];
};
struct linux_sys_futex_args {
char uaddr_l_[PADL_(void *)]; void * uaddr; char uaddr_r_[PADR_(void *)];
char op_l_[PADL_(int)]; int op; char op_r_[PADR_(int)];
char uaddr_l_[PADL_(uint32_t *)]; uint32_t * uaddr; char uaddr_r_[PADR_(uint32_t *)];
char op_l_[PADL_(l_int)]; l_int op; char op_r_[PADR_(l_int)];
char val_l_[PADL_(uint32_t)]; uint32_t val; char val_r_[PADR_(uint32_t)];
char timeout_l_[PADL_(struct l_timespec *)]; struct l_timespec * timeout; char timeout_r_[PADR_(struct l_timespec *)];
char uaddr2_l_[PADL_(uint32_t *)]; uint32_t * uaddr2; char uaddr2_r_[PADR_(uint32_t *)];

View File

@ -1477,8 +1477,8 @@ systrace_args(int sysnum, void *params, uint64_t *uarg, int *n_args)
/* linux_sys_futex */
case 240: {
struct linux_sys_futex_args *p = params;
uarg[0] = (intptr_t)p->uaddr; /* void * */
iarg[1] = p->op; /* int */
uarg[0] = (intptr_t)p->uaddr; /* uint32_t * */
iarg[1] = p->op; /* l_int */
uarg[2] = p->val; /* uint32_t */
uarg[3] = (intptr_t)p->timeout; /* struct l_timespec * */
uarg[4] = (intptr_t)p->uaddr2; /* uint32_t * */
@ -4741,10 +4741,10 @@ systrace_entry_setargdesc(int sysnum, int ndx, char *desc, size_t descsz)
case 240:
switch (ndx) {
case 0:
p = "userland void *";
p = "userland uint32_t *";
break;
case 1:
p = "int";
p = "l_int";
break;
case 2:
p = "uint32_t";

View File

@ -408,12 +408,12 @@ struct linux_unshare_args {
register_t dummy;
};
struct linux_sys_futex_args {
char uaddr_l_[PADL_(void *)]; void * uaddr; char uaddr_r_[PADR_(void *)];
char op_l_[PADL_(int)]; int op; char op_r_[PADR_(int)];
char val_l_[PADL_(int)]; int val; char val_r_[PADR_(int)];
char uaddr_l_[PADL_(uint32_t *)]; uint32_t * uaddr; char uaddr_r_[PADR_(uint32_t *)];
char op_l_[PADL_(l_int)]; l_int op; char op_r_[PADR_(l_int)];
char val_l_[PADL_(uint32_t)]; uint32_t val; char val_r_[PADR_(uint32_t)];
char timeout_l_[PADL_(struct l_timespec *)]; struct l_timespec * timeout; char timeout_r_[PADR_(struct l_timespec *)];
char uaddr2_l_[PADL_(void *)]; void * uaddr2; char uaddr2_r_[PADR_(void *)];
char val3_l_[PADL_(int)]; int val3; char val3_r_[PADR_(int)];
char uaddr2_l_[PADL_(uint32_t *)]; uint32_t * uaddr2; char uaddr2_r_[PADR_(uint32_t *)];
char val3_l_[PADL_(uint32_t)]; uint32_t val3; char val3_r_[PADR_(uint32_t)];
};
struct linux_set_robust_list_args {
char head_l_[PADL_(struct linux_robust_list_head *)]; struct linux_robust_list_head * head; char head_r_[PADR_(struct linux_robust_list_head *)];

View File

@ -772,12 +772,12 @@ systrace_args(int sysnum, void *params, uint64_t *uarg, int *n_args)
/* linux_sys_futex */
case 98: {
struct linux_sys_futex_args *p = params;
uarg[0] = (intptr_t)p->uaddr; /* void * */
iarg[1] = p->op; /* int */
iarg[2] = p->val; /* int */
uarg[0] = (intptr_t)p->uaddr; /* uint32_t * */
iarg[1] = p->op; /* l_int */
uarg[2] = p->val; /* uint32_t */
uarg[3] = (intptr_t)p->timeout; /* struct l_timespec * */
uarg[4] = (intptr_t)p->uaddr2; /* void * */
iarg[5] = p->val3; /* int */
uarg[4] = (intptr_t)p->uaddr2; /* uint32_t * */
uarg[5] = p->val3; /* uint32_t */
*n_args = 6;
break;
}
@ -3635,22 +3635,22 @@ systrace_entry_setargdesc(int sysnum, int ndx, char *desc, size_t descsz)
case 98:
switch (ndx) {
case 0:
p = "userland void *";
p = "userland uint32_t *";
break;
case 1:
p = "int";
p = "l_int";
break;
case 2:
p = "int";
p = "uint32_t";
break;
case 3:
p = "userland struct l_timespec *";
break;
case 4:
p = "userland void *";
p = "userland uint32_t *";
break;
case 5:
p = "int";
p = "uint32_t";
break;
default:
break;

View File

@ -779,8 +779,8 @@ struct linux_sendfile64_args {
char count_l_[PADL_(l_size_t)]; l_size_t count; char count_r_[PADR_(l_size_t)];
};
struct linux_sys_futex_args {
char uaddr_l_[PADL_(void *)]; void * uaddr; char uaddr_r_[PADR_(void *)];
char op_l_[PADL_(int)]; int op; char op_r_[PADR_(int)];
char uaddr_l_[PADL_(uint32_t *)]; uint32_t * uaddr; char uaddr_r_[PADR_(uint32_t *)];
char op_l_[PADL_(l_int)]; l_int op; char op_r_[PADR_(l_int)];
char val_l_[PADL_(uint32_t)]; uint32_t val; char val_r_[PADR_(uint32_t)];
char timeout_l_[PADL_(struct l_timespec *)]; struct l_timespec * timeout; char timeout_r_[PADR_(struct l_timespec *)];
char uaddr2_l_[PADL_(uint32_t *)]; uint32_t * uaddr2; char uaddr2_r_[PADR_(uint32_t *)];

View File

@ -1731,8 +1731,8 @@ systrace_args(int sysnum, void *params, uint64_t *uarg, int *n_args)
/* linux_sys_futex */
case 240: {
struct linux_sys_futex_args *p = params;
uarg[0] = (intptr_t)p->uaddr; /* void * */
iarg[1] = p->op; /* int */
uarg[0] = (intptr_t)p->uaddr; /* uint32_t * */
iarg[1] = p->op; /* l_int */
uarg[2] = p->val; /* uint32_t */
uarg[3] = (intptr_t)p->timeout; /* struct l_timespec * */
uarg[4] = (intptr_t)p->uaddr2; /* uint32_t * */
@ -5939,10 +5939,10 @@ systrace_entry_setargdesc(int sysnum, int ndx, char *desc, size_t descsz)
case 240:
switch (ndx) {
case 0:
p = "userland void *";
p = "userland uint32_t *";
break;
case 1:
p = "int";
p = "l_int";
break;
case 2:
p = "uint32_t";