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