Rev 1613 | Rev 1693 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
| Rev 1613 | Rev 1643 | ||
|---|---|---|---|
| Line 39... | Line 39... | ||
| 39 | static int klogsize; |
39 | static int klogsize; |
| 40 | static int klogpos; |
40 | static int klogpos; |
| 41 | 41 | ||
| 42 | SPINLOCK_INITIALIZE(klog_lock); |
42 | SPINLOCK_INITIALIZE(klog_lock); |
| 43 | 43 | ||
| 44 | /** Initialize kernel loggin facility |
44 | /** Initialize kernel logging facility |
| 45 | * |
45 | * |
| 46 | * Allocate pages that are to be shared if uspace for console data |
46 | * Allocate pages that are to be shared with uspace for console data. |
| - | 47 | * The shared area is a circular buffer. Userspace application may |
|
| - | 48 | * be notified on new data with indication of position and size |
|
| - | 49 | * of the data within the circular buffer. |
|
| 47 | */ |
50 | */ |
| 48 | void klog_init(void) |
51 | void klog_init(void) |
| 49 | { |
52 | { |
| 50 | void *faddr; |
53 | void *faddr; |
| 51 | 54 | ||