Ignore:
Timestamp:
Jun 18, 2017, 10:06:41 PM (5 years ago)
Author:
alain
Message:

Introduce syscalls.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • trunk/kernel/kern/printk.h

    r16 r23  
    4646
    4747/**********************************************************************************
     48 * This function build a formated string.
     49 * The supported formats are defined below :
     50 *   %c : single character
     51 *   %d : signed decimal 32 bits integer
     52 *   %u : unsigned decimal 32 bits integer
     53 *   %x : hexadecimal 32 bits integer
     54 *   %l : hexadecimal 64 bits integer
     55 *   %s : NUL terminated character string
     56 **********************************************************************************
     57 * @ string     : pointer on target buffer (allocated by caller).
     58 * @ length     : target buffer length (number of bytes).
     59 * @ format     : format respecting the printf syntax.
     60 * @ returns the string length (including NUL) if success / return -1 if error.
     61 *********************************************************************************/
     62uint32_t snprintf( char     * string,
     63                   uint32_t   length,
     64                   char     * format, ... );
     65
     66/**********************************************************************************
    4867 * This function displays a formated string on the kernel terminal TXT0,
    4968 * using a busy waiting policy: It calls directly the relevant TXT driver,
     
    5271 * @ format     : formated string.
    5372 *********************************************************************************/
    54 extern void         printk( char* format, ... );
     73void         printk( char* format, ... );
    5574
    5675/**********************************************************************************
     
    6281 * @ format     : formated string.
    6382 *********************************************************************************/
    64 extern void         user_printk( char* format, ... );
     83void         user_printk( char* format, ... );
    6584
    6685/**********************************************************************************
     
    211230#else
    212231#define sched_dmsg(...)
     232#endif
     233
     234#if CONFIG_SIGNAL_DEBUG
     235#define signal_dmsg(...)   printk(__VA_ARGS__)
     236#else
     237#define signal_dmsg(...)
    213238#endif
    214239
Note: See TracChangeset for help on using the changeset viewer.