Searched refs:kernel_is_64bit (Results 1 – 1 of 1) sorted by relevance
65 int kernel_is_64bit; variable117 if (!kernel_is_64bit) in print_regs64()132 if (!kernel_is_64bit) in check_regs64()250 if (kernel_is_64bit) in run_syscall()297 if (kernel_is_64bit) { in run_syscall()385 kernel_is_64bit = (cs == 0x23); in main()386 if (!kernel_is_64bit) in main()