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 |