Searched refs:lvtptr (Results 1 – 1 of 1) sorted by relevance
421 uint32_t *lvtptr, mask, val; in vlapic_lvt_write_handler() local426 lvtptr = vlapic_get_lvtptr(vlapic, offset); in vlapic_lvt_write_handler()427 val = *lvtptr; in vlapic_lvt_write_handler()448 *lvtptr = val; in vlapic_lvt_write_handler()