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