sw_syscall.h File Reference

Go to the source code of this file.

Functions
void	__sw_open ()
	Device open system call.
void	__sw_close ()
	Device close system call.
void	__sw_read (void)
	Device read system call.
void	__sw_write ()
	Device write system call.
void	__sw_ioctl (void)
	Device ioctl system call.
void	__asm_execute_smc (void)
	Execute smc system call.
int	__asm_map_to_ns (pa_t phy_addr, va_t *va_addr)
	system call to map a address as non-secure entry
int	__asm_unmap_from_ns (va_t va_addr)
	system call to Unmap a non-secure address
int	__sw_usleep (int seconds)
	system call to usleep
int	__elf_load (void *sa_config)
	system call to load a elf

Function Documentation

void __asm_execute_smc

(

void

)

Execute smc system call.

int __asm_map_to_ns	(	pa_t	phy_addr,
		va_t *	va_addr
	)

system call to map a address as non-secure entry

Parameters

phy_addr
va_addr

Returns

int __asm_unmap_from_ns

(

va_t

va_addr

)

system call to Unmap a non-secure address

Parameters

va_addr

Returns

int __elf_load

(

void *

sa_config

)

system call to load a elf

Parameters

filename
sa_config

Returns

void __sw_close

(

)

Device close system call.

Parameters

dev_name

void __sw_ioctl

(

void

)

Device ioctl system call.

Parameters

dev_name

void __sw_open

(

)

Device open system call.

Parameters

dev_name

void __sw_read

(

void

)

Device read system call.

Parameters

dev_name

int __sw_usleep

(

int

seconds

)

system call to usleep

Parameters

va_addr

Returns

void __sw_write

(

)

Device write system call.

Parameters

dev_name