stv0g/metalsvm
1
0
Fork 0
Code Issues Pull requests Releases Wiki Activity

remove some typos

Browse source
This commit is contained in:
Stefan Lankes 2012-08-08 10:11:15 +02:00
parent 5faab70a04
commit c53942a9d0
2 changed files with 7 additions and 7 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
include/metalsvm/stdlib.h
View file

@ -91,10 +91,10 @@ void* create_stack(void);
/** @brief Delete stack of a finished task
*
* @param Pointer to
* @param addr Pointer to the stack
* @return 0 on success
*/
int destroy_stack(task_t*);
int destroy_stack(task_t* addr);
/** @brief String to long
*

10
include/metalsvm/tasks.h
View file

@ -100,13 +100,13 @@ static inline int create_kernel_task(tid_t* id, entry_point_t ep, void* arg, uin
* @param id The value behind this pointer will be set to the new task's id
* @param fname Filename of the executable to start the task with
* @param argv Pointer to arguments array
* @param core_id Start the new task on the core with this id
* @param core_id Start the new task on a specific core
*
* @return
* - 0 on success
* - -EINVAL (-22) or -ENOMEM (-12)on failure
*/
int create_user_task_on_core(tid_t* id, const char* fame, char** argv, uint32_t core_id);
int create_user_task_on_core(tid_t* id, const char* fname, char** argv, uint32_t core_id);
/** @brief Create a user level task.
*
@ -118,7 +118,7 @@ int create_user_task_on_core(tid_t* id, const char* fame, char** argv, uint32_t
* - 0 on success
* - -EINVAL (-22) or -ENOMEM (-12)on failure
*/
static inline int create_user_task(tid_t* id, const char* fame, char** argv)
static inline int create_user_task(tid_t* id, const char* fname, char** argv)
{
uint32_t core_id;
@ -130,7 +130,7 @@ static inline int create_user_task(tid_t* id, const char* fame, char** argv)
core_id = 0;
#endif
return create_user_task_on_core(id, fame, argv, core_id);
return create_user_task_on_core(id, fname, argv, core_id);
}
/** @brief Block current task until the child task is terminated
@ -201,7 +201,7 @@ int block_current_task(void);
*/
int set_timer(uint64_t deadline);
/** @biref check is a timer is expired
/** @brief check is a timer is expired
*
*/
void check_timers(void);