12 printf(
"taskbar: failed to open klog\n");
17 printf(
"taskbar: failed to redirect stdout/stderr to klog\n");
26 printf(
"taskbar: failed to create display\n");
33 printf(
"taskbar: failed to create taskbar\n");
uint64_t display_next(display_t *disp, event_t *event, clock_t timeout)
Retrieve the next event from the display connection.
uint64_t display_dispatch(display_t *disp, const event_t *event)
Dispatch an event to the appropriate surface.
void display_free(display_t *disp)
Free a display connection.
display_t * display_new(void)
Create a new display connection.
void window_free(window_t *win)
Free a window.
fd_t dup2(fd_t oldFd, fd_t newFd)
System call for duplicating file descriptors, with a destination.
fd_t open(const char *path)
System call for opening files.
uint64_t close(fd_t fd)
System call for closing files.
#define STDOUT_FILENO
Standard output file descriptor.
#define STDERR_FILENO
Standard error file descriptor.
#define NULL
Pointer error value.
#define ERR
Integer error value.
__UINT64_TYPE__ fd_t
A file descriptor.
_PUBLIC int printf(const char *_RESTRICT format,...)
Opaque display structure.
window_t * taskbar_new(display_t *disp)