Searched refs:lvtptr (Results 1 – 1 of 1) sorted by relevance
383 uint32_t *lvtptr, mask, val; in vlapic_lvt_write_handler() local388 lvtptr = vlapic_get_lvtptr(vlapic, offset); in vlapic_lvt_write_handler()389 val = *lvtptr; in vlapic_lvt_write_handler()410 *lvtptr = val; in vlapic_lvt_write_handler()