Searched defs:icr_timer (Results 1 – 2 of 2) sorted by relevance
| /f-stack/freebsd/amd64/vmm/io/ | ||
| H A D | vlapic.c | 780 uint32_t icr_timer; in vlapic_icrtmr_write_handler() local |
| /f-stack/freebsd/x86/include/ | ||
| H A D | apicreg.h | 184 u_int32_t icr_timer; PAD3; member |