Searched refs:vlp_dcr_timer (Results 1 – 2 of 2) sorted by relevance
99 uint32_t vlp_dcr_timer; member
1865 out_page->vlp_dcr_timer = lapic->dcr_timer; in vlapic_data_read()2010 lapic->dcr_timer = page->vlp_dcr_timer; in vlapic_data_write()