Lines Matching +full:0 +full:x32

18 #define X32_BIT 0x40000000UL
25 	long ret = syscall(nr, 0, 0, 0, 0, 0, 0);  in check_enosys()
26 	if (ret == 0) {  in check_enosys()
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()
49 	 * Check that a handful of 64-bit-only syscalls are rejected if the x32  in test_x32_without_x32_bit()
52 	printf("[RUN]\tChecking some 64-bit syscalls in x32 range\n");  in test_x32_without_x32_bit()
74 	 * supports x32.  Tell them.  in main()
76 	printf("\tChecking for x32...");  in main()
78 	if (syscall(39 | X32_BIT, 0, 0, 0, 0, 0, 0) >= 0) {  in main()
88 	return nerrs ? 1 : 0;  in main()