| commit | a9fc7bceeb0b090d1010312fe8da10f359b5097e | |
| author | Bart Van Assche <bvanassche@acm.org> | |
| Mon, 1 Jul 2019 22:01:59 +0000 (1 15:01 -0700) | ||
| committer | Bart Van Assche <bvanassche@acm.org> | |
| Tue, 2 Jul 2019 02:25:35 +0000 (1 19:25 -0700) | ||
| tree | 07e9d4dc299faf06c530a649716652589986716d | treesnapshot (tar.gz zip) |
| parent | 90d831171d3d30df27b2c44dee1c70da3e69511d | commitdiff |
Update Linux x86 system call number definitions
Introduce new header files for the system call numbers that are shared
across all Linux architectures and also for the system call numbers that
are shared across all 32-bit architectures.
Introduce new header files for the system call numbers that are shared
across all Linux architectures and also for the system call numbers that
are shared across all 32-bit architectures.
| include/pub_tool_vkiscnums_asm.h | diffblobblamehistory | |
| include/vki/vki-scnums-32bit-linux.h | [new file with mode: 0644] | blob |
| include/vki/vki-scnums-amd64-linux.h | diffblobblamehistory | |
| include/vki/vki-scnums-shared-linux.h | [new file with mode: 0644] | blob |
| include/vki/vki-scnums-x86-linux.h | diffblobblamehistory |