Landfall

Annotated pkg/devices/lcd/src/common/lcd-device.cc

0:89a1bc19c1fc
2018-05-13 Paul Boddie Added device libraries and programs, configuration files and examples. Also added an installation script and copyright and licensing information.
paul@0 1
/*
paul@0 2
 * Common LCD device functionality.
paul@0 3
 *
paul@0 4
 * (c) 2018 Paul Boddie <paul@boddie.org.uk>
paul@0 5
 *
paul@0 6
 * This program is free software; you can redistribute it and/or
paul@0 7
 * modify it under the terms of the GNU General Public License as
paul@0 8
 * published by the Free Software Foundation; either version 2 of
paul@0 9
 * the License, or (at your option) any later version.
paul@0 10
 *
paul@0 11
 * This program is distributed in the hope that it will be useful,
paul@0 12
 * but WITHOUT ANY WARRANTY; without even the implied warranty of
paul@0 13
 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
paul@0 14
 * GNU General Public License for more details.
paul@0 15
 *
paul@0 16
 * You should have received a copy of the GNU General Public License
paul@0 17
 * along with this program; if not, write to the Free Software
paul@0 18
 * Foundation, Inc., 51 Franklin Street, Fifth Floor,
paul@0 19
 * Boston, MA  02110-1301, USA
paul@0 20
 */
paul@0 21
paul@0 22
#include "lcd-device.h"
paul@0 23
paul@0 24
void Lcd_device::disable_display()
paul@0 25
{
paul@0 26
  _display->disable();
paul@0 27
}
paul@0 28
paul@0 29
void Lcd_device::enable_display()
paul@0 30
{
paul@0 31
  _display->enable();
paul@0 32
}
paul@0 33
paul@0 34
// C language interface.
paul@0 35
paul@0 36
void *lcd_get_device()
paul@0 37
{
paul@0 38
  return (void *) Lcd_device::get_device();
paul@0 39
}
paul@0 40
paul@0 41
l4_addr_t lcd_get_framebuffer(void *lcd)
paul@0 42
{
paul@0 43
  return static_cast<Lcd_device *>(lcd)->get_framebuffer();
paul@0 44
}
paul@0 45
paul@0 46
l4_size_t lcd_get_framebuffer_size(void *lcd)
paul@0 47
{
paul@0 48
  return static_cast<Lcd_device *>(lcd)->get_framebuffer_size();
paul@0 49
}
paul@0 50
paul@0 51
void lcd_get_view_info(void *lcd, l4re_video_view_info_t *view_info)
paul@0 52
{
paul@0 53
  return static_cast<Lcd_device *>(lcd)->get_view_info(view_info);
paul@0 54
}
paul@0 55
paul@0 56
void lcd_disable(void *lcd)
paul@0 57
{
paul@0 58
  static_cast<Lcd_device *>(lcd)->disable();
paul@0 59
}
paul@0 60
paul@0 61
void lcd_enable(void *lcd)
paul@0 62
{
paul@0 63
  static_cast<Lcd_device *>(lcd)->enable();
paul@0 64
}