2018-02-17 23:48:34 +00:00
|
|
|
#ifndef EXOSPHERE_SMC_API_H
|
|
|
|
#define EXOSPHERE_SMC_API_H
|
|
|
|
|
|
|
|
#include <stdint.h>
|
|
|
|
|
|
|
|
#define SMC_HANDLER_USER 0
|
|
|
|
#define SMC_HANDLER_PRIV 1
|
|
|
|
|
|
|
|
typedef struct {
|
|
|
|
uint64_t X[8];
|
|
|
|
} smc_args_t;
|
|
|
|
|
2018-02-24 14:20:45 +00:00
|
|
|
void set_priv_smc_in_progress(void);
|
|
|
|
void clear_priv_smc_in_progress(void);
|
|
|
|
|
2018-02-25 02:34:15 +00:00
|
|
|
uintptr_t get_smc_core012_stack_address(void);
|
2018-02-25 19:00:50 +00:00
|
|
|
uintptr_t get_exception_entry_stack_address(unsigned int core_id);
|
2018-02-24 14:20:45 +00:00
|
|
|
|
2018-02-17 23:48:34 +00:00
|
|
|
void call_smc_handler(unsigned int handler_id, smc_args_t *args);
|
|
|
|
|
2018-02-25 02:34:15 +00:00
|
|
|
#endif
|