3.1.4 Higher-Layer Triggered Events

When a user causes a mouse cursor shape change, the source’s graphics driver is informed, and MUST send a message to the sink communicating this shape change, as described in section 3.1.1.