Searched refs:lvtptr (Results 1 – 1 of 1) sorted by relevance
382 uint32_t *lvtptr, mask, val; in vlapic_lvt_write_handler() local387 lvtptr = vlapic_get_lvtptr(vlapic, offset); in vlapic_lvt_write_handler()388 val = *lvtptr; in vlapic_lvt_write_handler()409 *lvtptr = val; in vlapic_lvt_write_handler()