Lines Matching refs:cpu_64bit
231 int cpu_64bit = 0;
687 if (!cpu_64bit || (m == kernel_pmap)) {
960 if (!cpu_64bit) {
1175 cpu_64bit = IA32e;
1273 if (cpu_64bit) {
1324 if (cpu_64bit){
1613 assert(!is_64bit || cpu_64bit);
1616 if (!cpu_64bit) {
1636 template = cpu_64bit ? INTEL_PTE_VALID|INTEL_PTE_RW|INTEL_PTE_USER|INTEL_PTE_REF : INTEL_PTE_VALID;
1854 if (!cpu_64bit) {
3274 if (cpu_64bit && (map != kernel_pmap)) {
4353 if ((0 == pde) && cpu_64bit) {