Symbol: hv_event_flags_page