| # Code generated by syz-sysgen. DO NOT EDIT. | |
| arches = 386, amd64, arm64, riscv64 | |
| AT_FDCWD = 18446744073709551516 | |
| EFIIOC_GET_TIME = 1074808066 | |
| EFIIOC_SET_TIME = 2148549891 | |
| EFIIOC_VAR_GET = 3224913156, 386:3223602436 | |
| EFIIOC_VAR_NEXT = 3224913157, 386:3223602437 | |
| EFIIOC_VAR_SET = 3224913158, 386:3223602438 | |
| SYS_ioctl = 54 | |
| SYS_openat = 499 |