. ser_putc() goes to library

. another cmd for getinfo - obtaining current HZ value
This commit is contained in:
Ben Gras 2008-12-11 14:09:38 +00:00
parent ef5b6f8cdf
commit 682b9a872e
2 changed files with 2 additions and 0 deletions

View File

@ -10,6 +10,7 @@ _PROTOTYPE( ssize_t getsysinfo_up, (endpoint_t who, int what, size_t size,
void *where));
#define SIU_LOADINFO 1 /* retrieve load info data */
#define SIU_SYSTEMHZ 2 /* retrieve system clock frequency */
/* Exported system parameters. */

View File

@ -57,6 +57,7 @@ _PROTOTYPE( void util_stacktrace_strcat, (char *));
_PROTOTYPE( int micro_delay, (u32_t micros));
_PROTOTYPE( u32_t micros_to_ticks, (u32_t micros));
_PROTOTYPE( int asynsend, (endpoint_t ep, message *msg));
_PROTOTYPE( void ser_putc, (char c));
#define ASSERT(c) if(!(c)) { panic(__FILE__, "assert " #c " failed at line", __LINE__); }