Symbol: vlapic_set_intr_ready