My Project
 All Classes Files Functions Variables Typedefs Enumerations Enumerator Macros Pages
Functions
hyp_main.c File Reference
#include <sw_types.h>
#include <sw_cpu_helper.h>
#include <smc_id.h>
#include <cpu.h>
#include <sw_board.h>
#include <guest.h>

Functions

state_context context[MAX_GUESTS][MAX_CORES__attribute__ ((aligned(16)))
 
void guest_load_image (va_t, pa_t, unsigned long)
 
int main (void)
 

Function Documentation

state_context context [MAX_GUESTS][MAX_CORES] __attribute__ ( (aligned(16))  )
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  )