Searched defs:setgdt (Results 1 - 1 of 1) sorted by relevance
| /freebsd-10-stable/sys/boot/userboot/ | ||
| H A D | userboot.h | 154 void (*setgdt)(void *arg, uint64_t, size_t); member in struct:loader_callbacks |
Completed in 100 milliseconds