Searched refs:kernel_is_64bit (Results 1 – 1 of 1) sorted by relevance
73 int kernel_is_64bit; variable118 if (!kernel_is_64bit) in print_regs64()132 if (!kernel_is_64bit) in check_regs64()251 if (kernel_is_64bit) in run_syscall()298 if (kernel_is_64bit) { in run_syscall()386 kernel_is_64bit = (cs == 0x23); in main()387 if (!kernel_is_64bit) in main()