Searched refs:cpu_has_64bit (Results 1 – 5 of 5) sorted by relevance
39 int cpu_has_64bit(void) in cpu_has_64bit() function
210 int cpu_has_64bit(void);
181 cpu_has_64bit() ? "x86_64" : "x86", in default_print_cpuinfo()
158 if (!cpu_has_64bit()) { in boot_linux_kernel()
460 int cpu_has_64bit(void) in cpu_has_64bit() function