Lines Matching +full:2 +full:x32 +full:- +full:bit

1 /* SPDX-License-Identifier: GPL-2.0 */
3  * syscall_arg_fault.c - tests faults 32-bit fast syscall stack args
40 	 * Syscalls 512-547 are "x32" syscalls.  They are intended to be  in test_x32_without_x32_bit()
41 	 * called with the x32 (0x40000000) bit set.  Calling them without  in test_x32_without_x32_bit()
42 	 * the x32 bit set is nonsense and should not work.  in test_x32_without_x32_bit()
44 	printf("[RUN]\tChecking syscalls 512-547\n");  in test_x32_without_x32_bit()
49 	 * Check that a handful of 64-bit-only syscalls are rejected if the x32  in test_x32_without_x32_bit()
50 	 * bit is set.  in test_x32_without_x32_bit()
52 	printf("[RUN]\tChecking some 64-bit syscalls in x32 range\n");  in test_x32_without_x32_bit()
60 	printf("[RUN]\tChecking numbers above 2^32-1\n");  in test_x32_without_x32_bit()
67 		printf("[OK]\tThey all returned -ENOSYS\n");  in test_x32_without_x32_bit()
74 	 * supports x32.  Tell them.  in main()
76 	printf("\tChecking for x32...");  in main()