31 #ifndef __BOLOS_CORE_H__
32 #define __BOLOS_CORE_H__
39 uint8_t WIDE * buffer;
77 void _exit(uint32_t status);
79 #endif // __BOLOS_CORE_H__
size_t bls_get_input_parameters_length(void)
get the available size of Normal World input parameters
size_t bls_copy_input_parameters(const uint8_t *parameters, uint32_t offset, size_t parametersLength)
copy Normal World parameters to the executed code
uint32_t bls_check_api_level(void)
get the current API level
void bls_set_return(const void *addr, size_t length)
send a result back to Normal World
void _exit(uint32_t status)
halt executed code
Describe a buffer and length data structure.
Definition: bolos_core.h:38