Miracast over Infrastructure messages (section 2.2) are sent over TCP port 7250 to manage the multimedia stream.
Thank you.