Lines Matching refs:VM_KERNEL_ADDRPERM
9923 (void *)VM_KERNEL_ADDRPERM(current_task()),
9924 (void *)VM_KERNEL_ADDRPERM(new_map),
9925 (void *)VM_KERNEL_ADDRPERM(task),
9926 (void *)VM_KERNEL_ADDRPERM(fsroot),
9932 (void *)VM_KERNEL_ADDRPERM(current_task()),
9933 (void *)VM_KERNEL_ADDRPERM(new_map),
9934 (void *)VM_KERNEL_ADDRPERM(task),
9935 (void *)VM_KERNEL_ADDRPERM(fsroot),
10816 #define INFO_MAKE_OBJECT_ID(p) ((uint32_t)(uintptr_t)VM_KERNEL_ADDRPERM(p))
11211 top->obj_id = (unsigned int) (uintptr_t)VM_KERNEL_ADDRPERM(obj);
13742 VM_KERNEL_ADDRPERM(object);