1.1 --- a/pkg/devices/lcd/include/lcd-device.h Wed Dec 30 22:48:28 2020 +0100
1.2 +++ b/pkg/devices/lcd/include/lcd-device.h Wed Dec 30 22:51:48 2020 +0100
1.3 @@ -1,7 +1,7 @@
1.4 /*
1.5 * LCD device support.
1.6 *
1.7 - * Copyright (C) 2018 Paul Boddie <paul@boddie.org.uk>
1.8 + * Copyright (C) 2018, 2020 Paul Boddie <paul@boddie.org.uk>
1.9 *
1.10 * This program is free software; you can redistribute it and/or
1.11 * modify it under the terms of the GNU General Public License as
1.12 @@ -21,7 +21,7 @@
1.13
1.14 #pragma once
1.15
1.16 -#include <l4/devices/display-client.h>
1.17 +#include <l4/devices/activation/activation_interface.h>
1.18 #include <l4/devices/lcd.h>
1.19
1.20 #include <l4/re/c/video/view.h>
1.21 @@ -43,7 +43,7 @@
1.22
1.23 /* Display server abstraction. */
1.24
1.25 - L4::Cap<Display_device_interface> _display;
1.26 + Activation *_display;
1.27
1.28 /* Framebuffer virtual and physical addresses. */
1.29
1.30 @@ -61,7 +61,7 @@
1.31 public:
1.32 /* Initialise a device with a controller and display object reference. */
1.33
1.34 - Lcd_device(Lcd_chip *chip, L4::Cap<Display_device_interface> display)
1.35 + Lcd_device(Lcd_chip *chip, Activation *display)
1.36 : _chip(chip), _display(display)
1.37 {
1.38 /* Subclasses must set up any memory. */