Searched defs:tss_esp2 (Results 1 – 2 of 2) sorted by relevance
| /freebsd-src/sys/i386/include/ | ||
| H A D | tss.h | 48 int tss_esp2; /* kernel stack pointer privilege level 2 */ member |
| /freebsd-src/usr.sbin/bhyve/amd64/ | ||
| H A D | task_switch.c | 62 uint32_t tss_esp2; member |