Searched refs:lvtptr (Results 1 – 1 of 1) sorted by relevance
381 uint32_t *lvtptr, mask, val; in vlapic_lvt_write_handler() local386 lvtptr = vlapic_get_lvtptr(vlapic, offset); in vlapic_lvt_write_handler()387 val = *lvtptr; in vlapic_lvt_write_handler()408 *lvtptr = val; in vlapic_lvt_write_handler()