Lines Matching refs:VM_KERNEL_ADDRPERM
1064 (uint64_t)VM_KERNEL_ADDRPERM(sb->sb_mb), in sblastrecordchk()
1065 (uint64_t)VM_KERNEL_ADDRPERM(sb->sb_lastrecord), in sblastrecordchk()
1066 (uint64_t)VM_KERNEL_ADDRPERM(m)); in sblastrecordchk()
1069 printf("\t0x%llx\n", (uint64_t)VM_KERNEL_ADDRPERM(m)); in sblastrecordchk()
1091 (uint64_t)VM_KERNEL_ADDRPERM(sb->sb_mb), in sblastmbufchk()
1092 (uint64_t)VM_KERNEL_ADDRPERM(sb->sb_mbtail), in sblastmbufchk()
1093 (uint64_t)VM_KERNEL_ADDRPERM(m)); in sblastmbufchk()
1099 (uint64_t)VM_KERNEL_ADDRPERM(n)); in sblastmbufchk()
2736 (uint64_t)VM_KERNEL_ADDRPERM(so), SOCK_DOM(so), in soevent_ifdenied()
2748 so->last_pid, (uint64_t)VM_KERNEL_ADDRPERM(so), in soevent_ifdenied()
2801 xso->xso_so = (_XSOCKET_PTR(struct socket *))VM_KERNEL_ADDRPERM(so); in sotoxsocket()
2806 xso->so_pcb = (_XSOCKET_PTR(caddr_t))VM_KERNEL_ADDRPERM(so->so_pcb); in sotoxsocket()
2832 xso->xso_so = (u_int64_t)VM_KERNEL_ADDRPERM(so); in sotoxsocket64()
2837 xso->so_pcb = (u_int64_t)VM_KERNEL_ADDRPERM(so->so_pcb); in sotoxsocket64()