Lines Matching defs:cpu
36 * An environment is defined by (cpu-type, 64-bitness, root directory).
80 * There is one "comm page" per platform (cpu-type, 64-bitness) but only
81 * for the native cpu-type. No need to overly optimize translated code
386 ("shared_region: -> lookup(root=%p,cpu=%d,64bit=%d)\n",
443 ("shared_region: lookup(root=%p,cpu=%d,64bit=%d) <- %p\n",
627 ("shared_region: -> create(root=%p,cpu=%d,64bit=%d)\n",
661 ("shared_region: create: unknown cpu type %d\n",
683 ("shared_region: create: unknown cpu type %d\n",
758 ("shared_region: create(root=%p,cpu=%d,64bit=%d,"
771 ("shared_region: create(root=%p,cpu=%d,64bit=%d,"
792 ("shared_region: -> destroy(%p) (root=%p,cpu=%d,64bit=%d)\n",
1312 cpu_type_t cpu)
1327 "enter(map=%p,task=%p,root=%p,cpu=%d,64bit=%d)\n",
1330 (void *)VM_KERNEL_ADDRPERM(fsroot), cpu, is_64bit));
1333 shared_region = vm_shared_region_lookup(fsroot, cpu, is_64bit);
1338 "enter(map=%p,task=%p,root=%p,cpu=%d,64bit=%d): "
1342 (void *)VM_KERNEL_ADDRPERM(fsroot), cpu, is_64bit));
1386 cpu, is_64bit,
1397 (void *)VM_KERNEL_ADDRPERM(fsroot), cpu, is_64bit,
1437 cpu, is_64bit,
1448 (void *)VM_KERNEL_ADDRPERM(fsroot), cpu, is_64bit,
1475 cpu, is_64bit,
1486 (void *)VM_KERNEL_ADDRPERM(fsroot), cpu, is_64bit,
1499 (void *)VM_KERNEL_ADDRPERM(fsroot), cpu, is_64bit, kr));