Symbol: armgic_set_priority