My Project
 All Classes Files Functions Variables Typedefs Enumerations Enumerator Macros Pages
Functions
secure_main.c File Reference
#include <cpu.h>
#include <cpu_data.h>
#include <uart.h>
#include <sw_board.h>
#include <smc_id.h>
#include <gic_svisor.h>
#include <mem_mng.h>
#include <sw_cpu_helper.h>
#include <sw_buddy.h>
#include <sw_debug.h>
#include <global.h>
#include <sw_modinit.h>
#include <dispatcher_task.h>
#include <otz_id.h>
#include <secure_api.h>
#include <guest.h>

Functions

void guest_load_image (va_t, pa_t, unsigned long)
 
int main (void)
 

Function Documentation

void guest_load_image ( va_t  src,
pa_t  dest,
unsigned long  size 
)
Parameters
srcsecure kernel of the virtual adress
destloding address of the physical address
sizesize of the kernel
int main ( void  )
Returns