firmware: raspberrypi: Add RPI_FIRMWARE_NOTIFY_DISPLAY_DONE

The RPI_FIRMWARE_NOTIFY_DISPLAY_DONE firmware call allows to tell the
firmware the kernel is in charge of the display now and the firmware can
free whatever resources it was using.

Signed-off-by: Maxime Ripard <maxime@cerno.tech>

diff --git a/include/soc/bcm2835/raspberrypi-firmware.h b/include/soc/bcm2835/raspberrypi-firmware.h
index 97ff2a5..cc0a0bc 100644 (file)
--- a/include/soc/bcm2835/raspberrypi-firmware.h
+++ b/include/soc/bcm2835/raspberrypi-firmware.h
@@ -99,6 +99,7 @@ enum rpi_firmware_property_tag {
        RPI_FIRMWARE_NOTIFY_XHCI_RESET =                      0x00030058,
        RPI_FIRMWARE_GET_REBOOT_FLAGS =                       0x00030064,
        RPI_FIRMWARE_SET_REBOOT_FLAGS =                       0x00038064,
        RPI_FIRMWARE_NOTIFY_XHCI_RESET =                      0x00030058,
        RPI_FIRMWARE_GET_REBOOT_FLAGS =                       0x00030064,
        RPI_FIRMWARE_SET_REBOOT_FLAGS =                       0x00038064,

+       RPI_FIRMWARE_NOTIFY_DISPLAY_DONE =                    0x00030066,

 
        /* Dispmanx TAGS */
        RPI_FIRMWARE_FRAMEBUFFER_ALLOCATE =                   0x00040001,
 
        /* Dispmanx TAGS */
        RPI_FIRMWARE_FRAMEBUFFER_ALLOCATE =                   0x00040001,