Embedded Xinu Operating System
An ongoing research project and educational operating system.
Main Page
Modules
Data Structures
Files
File List
Globals
All
Data Structures
Files
Functions
Variables
Typedefs
Enumerations
Macros
Groups
Pages
device
tcp
Functions
tcpTimerTrigger.c File Reference
#include <semaphore.h>
#include <stddef.h>
#include <tcp.h>
Functions
void
tcpTimerTrigger
(uchar type, struct tcb *tcbptr)
Generated by
1.8.5