Searched refs:xkr_getopt (Results 1 – 2 of 2) sorted by relevance
| /xnu-12377.61.12/bsd/sys/ | ||
| H A D | kern_control_private.h | 55 u_int64_t xkr_getopt; member |
| /xnu-12377.61.12/bsd/kern/ | ||
| H A D | kern_control.c | 2212 xkr->xkr_getopt = (uint64_t)VM_KERNEL_UNSLIDE(kctl->getopt); |