#include <ipc/services.h>
#include <ipc/irc.h>
#include <ipc/ns.h>
#include <sysinfo.h>
#include <as.h>
#include <ddi.h>
#include <align.h>
#include <bool.h>
#include <errno.h>
#include <async.h>
#include <stdio.h>
#include <ipc/devmap.h>
Go to the source code of this file.
Defines | |
#define | FHC_UART_ICLR 0x4 |
#define | FHC_UART_IMAP 0x0 |
#define | FHC_UART_INR 0x39 |
#define | NAME "fhc" |
Functions | |
static void | fhc_connection (ipc_callid_t iid, ipc_call_t *icall) |
Handle one connection to fhc. | |
static bool | fhc_init (void) |
Initialize the FHC driver. | |
int | main (int argc, char **argv) |
Variables | |
static void * | fhc_uart_phys |
static size_t | fhc_uart_size |
static volatile uint32_t * | fhc_uart_virt |
Definition in file fhc.c.