/*
 * disp_regs.c
 *
 * Copyright (C) 2012-2019, Samsung Electronics Co., Ltd.
 *
 * Low level display functions
 */

#include <tee_internal_api.h>
#include <time.h>
#include "bsp_common.h"
#include "board.h"
#include "dbg.h"
#include "device.h"
#include "secmap.h"
#include "disp_core.h"
#include "disp_regs.h"

void disp_set_secure_mode(uint32_t enable)
{
    (void)enable;
}

void disp_start(void)
{

}

void disp_set_startaddress(uint32_t phys_address)
{
    (void)phys_address;
}

void tui_start_secure_window(void)
{

}

void tui_init_secure_window(struct disp_device *disp, uint32_t frameBufferAddr)
{
    (void)disp;
    disp_set_startaddress(frameBufferAddr);
}

void tui_deinit_secure_window(void)
{

}
