Changes between Version 30 and Version 31 of library_stdio

Timestamp:

Nov 9, 2014, 1:10:21 PM (10 years ago)

Author:

alain

Comment:

--

library_stdio

@@ -51 +51 @@
 
  === void '''giet_tty_alloc'''() ===
-This function allocates a private terminal to the calling task, and registers the terminal index in the task context. Task exit if no TTY terminal available.
+This function allocates a private terminal to the calling task, and registers the terminal index in the task context. 
+Task exit if no TTY terminal available.
 
   === void '''giet_tty_printf'''( char* format, ... ) ===
@@ -87 +88 @@
 
  === void '''giet_timer_alloc'''()
-This function allocates a private user timer  to the calling task, and registers the channel index
-in the task context.
+This function allocates a private user timer  to the calling task, and registers the channel index in the task context.
 Task exit if no timer channel available
 
@@ -120 +120 @@
  == __6) Network related system calls__ ==
 
-The GIET_VM allows a user task to directly access a private NIC channel.
+The GIET_VM allows a user task to directly access a private NIC channel, and register the channel index in the task context.
 
  === void '''giet_nic_alloc'''( ) ===
- This function allocates a private NIC channel to the calling task, and returns the channel index.
+ This function allocates a private NIC channel to the calling task, and .
 Exit if no available NIC channel.
 
- === void '''giet_nic_sync_send'''( void* buffer ) ===
-This blocking function requires to transfer one container (4K bytes)  from an user space buffer to the Ethernet Network Controller.
+ === void '''giet_nic_send_container'''( void* buffer ) ===
+This blocking function requires to transfer one container (4K bytes)  from an user space buffer to the Network Controller.
+ * '''buffer'''  is the container base address in user space.
 It returns only when the container has been fully transfered.
-The '''buffer''' argument is the container base address in user space.
+The calling task exit if no NIC channel allocated to the task.
 
- === void '''giet_nic_sync_receive'''( void* buffer ) ===
-This blocking function requires to transfer one container (4K bytes)  from  the Ethernet Network Controller to an user space buffer.
+ === void '''giet_nic_sync_receive_container'''( void* buffer ) ===
+This blocking function requires to transfer one container (4K bytes)  from  the Network Controller to an user space buffer.
+ * '''buffer''' is the container base address in user space.
 It returns only when the container has been fully transfered.
-The '''buffer''' argument is the container base address in user space.
+The calling task exit if no NIC channel allocated to the task.
 
  == __7) Frame Buffer related system calls__ ==