headers/private/fs_shell/fssh_api_wrapper.h

1129

#define team_id fssh_team_id

headers/private/fs_shell/fssh_os.h

120

fssh_team_id team;

headers/private/fs_shell/fssh_os.h

184

extern fssh_status_t _fssh_get_next_thread_info(fssh_team_id team,

headers/private/fs_shell/fssh_os.h

40

fssh_team_id team;

headers/private/fs_shell/fssh_os.h

75

extern fssh_status_t fssh_set_sem_owner(fssh_sem_id id, fssh_team_id team);

headers/private/fs_shell/fssh_os.h

80

extern fssh_status_t _fssh_get_next_sem_info(fssh_team_id team,

src/tools/fs_shell/sem.cpp

105

_fssh_get_next_sem_info(fssh_team_id team, int32_t *cookie,

src/tools/fs_shell/sem.cpp

81

fssh_set_sem_owner(fssh_sem_id id, fssh_team_id team)