Searched refs:kernel_is_64bit (Results 1 – 1 of 1) sorted by relevance
73 int kernel_is_64bit; variable125 if (!kernel_is_64bit) in print_regs64()140 if (!kernel_is_64bit) in check_regs64()258 if (kernel_is_64bit) in run_syscall()305 if (kernel_is_64bit) { in run_syscall()393 kernel_is_64bit = (cs == 0x23); in main()394 if (!kernel_is_64bit) in main()
