Searched refs:cpu_has_64bit (Results 1 – 5 of 5) sorted by relevance
36 int cpu_has_64bit(void) in cpu_has_64bit() function
209 int cpu_has_64bit(void);
180 cpu_has_64bit() ? "x86_64" : "x86", in default_print_cpuinfo()
153 if (!cpu_has_64bit()) { in boot_linux_kernel()
459 int cpu_has_64bit(void) in cpu_has_64bit() function