#include <linux/types.h>
#include <linux/string.h>
Go to the source code of this file.
|
int64_t | cfe_getticks (void) |
|
int | cfe_close (int handle) |
|
int | cfe_cpu_start (int cpu, void(*fn)(void), long sp, long gp, long a1) |
|
int | cfe_cpu_stop (int cpu) |
|
int | cfe_enumenv (int idx, char *name, int namelen, char *val, int vallen) |
|
int | cfe_enummem (int idx, int flags, uint64_t *start, uint64_t *length, uint64_t *type) |
|
int | cfe_exit (int warm, int status) |
|
int | cfe_flushcache (int flg) |
|
int | cfe_getdevinfo (char *name) |
|
int | cfe_getenv (char *name, char *dest, int destlen) |
|
int | cfe_getfwinfo (cfe_fwinfo_t *info) |
|
int | cfe_getstdhandle (int flg) |
|
int | cfe_init (uint64_t handle, uint64_t ept) |
|
int | cfe_inpstat (int handle) |
|
int | cfe_ioctl (int handle, unsigned int ioctlnum, unsigned char *buffer, int length, int *retlen, uint64_t offset) |
|
int | cfe_open (char *name) |
|
int | cfe_read (int handle, unsigned char *buffer, int length) |
|
int | cfe_readblk (int handle, int64_t offset, unsigned char *buffer, int length) |
|
int | cfe_setenv (char *name, char *val) |
|
int | cfe_write (int handle, unsigned char *buffer, int length) |
|
int | cfe_writeblk (int handle, int64_t offset, unsigned char *buffer, int length) |
|
#define CFE_CACHE_FLUSH_D 1 |
#define CFE_CACHE_INVAL_D 4 |
#define CFE_CACHE_INVAL_I 2 |
#define CFE_CACHE_INVAL_L2 8 |
#define CFE_CPU_CMD_START 1 |
#define CFE_CPU_CMD_STOP 0 |
#define CFE_DEV_MASK 0x0F |
#define CFE_DEV_NETWORK 1 |
#define CFE_EPTSEAL 0x43464531 |
#define CFE_FLG_ENV_PERMANENT 0x00000001 |
#define CFE_FLG_FULL_ARENA 0x00000001 |
#define CFE_FLG_WARMSTART 0x00000001 |
#define CFE_FWI_32BIT 0x00000002 |
#define CFE_FWI_64BIT 0x00000001 |
#define CFE_FWI_FUNCSIM 0x00000020 |
#define CFE_FWI_MULTICPU 0x00000010 |
#define CFE_FWI_RELOC 0x00000004 |
#define CFE_FWI_RTLSIM 0x00000040 |
#define CFE_FWI_UNCACHED 0x00000008 |
#define CFE_STDHANDLE_CONSOLE 0 |
int cfe_getstdhandle |
( |
int |
flg | ) |
|
int64_t cfe_getticks |
( |
void |
| ) |
|
int cfe_readblk |
( |
int |
handle, |
|
|
int64_t |
offset, |
|
|
unsigned char * |
buffer, |
|
|
int |
length |
|
) |
| |
int cfe_writeblk |
( |
int |
handle, |
|
|
int64_t |
offset, |
|
|
unsigned char * |
buffer, |
|
|
int |
length |
|
) |
| |