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