Searched refs:kernel_is_64bit (Results 1 – 1 of 1) sorted by relevance
74 int kernel_is_64bit; variable127 if (!kernel_is_64bit) in print_regs64()164 if (!kernel_is_64bit) in check_regs64()287 if (kernel_is_64bit) in run_syscall()334 if (kernel_is_64bit) { in run_syscall()423 kernel_is_64bit = (cs == 0x23); in main()424 if (!kernel_is_64bit) in main()