Lines Matching refs:VM_KERNEL_ADDRPERM
531 (uint64_t)VM_KERNEL_ADDRPERM(so),
557 (uint64_t)VM_KERNEL_ADDRPERM(so), SOCK_DOM(so),
870 (uint64_t)VM_KERNEL_ADDRPERM(sb->sb_mb),
871 (uint64_t)VM_KERNEL_ADDRPERM(sb->sb_lastrecord),
872 (uint64_t)VM_KERNEL_ADDRPERM(m));
875 printf("\t0x%llx\n", (uint64_t)VM_KERNEL_ADDRPERM(m));
894 (uint64_t)VM_KERNEL_ADDRPERM(sb->sb_mb),
895 (uint64_t)VM_KERNEL_ADDRPERM(sb->sb_mbtail),
896 (uint64_t)VM_KERNEL_ADDRPERM(m));
901 printf("0x%llx ", (uint64_t)VM_KERNEL_ADDRPERM(n));
2498 (uint64_t)VM_KERNEL_ADDRPERM(so),
2666 (uint64_t)VM_KERNEL_ADDRPERM(so), SOCK_DOM(so),
2678 so->last_pid, (uint64_t)VM_KERNEL_ADDRPERM(so),
2716 xso->xso_so = (_XSOCKET_PTR(struct socket *))VM_KERNEL_ADDRPERM(so);
2721 xso->so_pcb = (_XSOCKET_PTR(caddr_t))VM_KERNEL_ADDRPERM(so->so_pcb);
2746 xso->xso_so = (u_int64_t)VM_KERNEL_ADDRPERM(so);
2751 xso->so_pcb = (u_int64_t)VM_KERNEL_ADDRPERM(so->so_pcb);