Searched refs:vlp_lvt_timer (Results 1 – 2 of 2) sorted by relevance
92 uint32_t vlp_lvt_timer; member
1868 out_page->vlp_lvt_timer = lapic->lvt_timer; in vlapic_data_read()2018 lapic->lvt_timer = page->vlp_lvt_timer; in vlapic_data_write()