#include "lib_types.h"
#include "lib_queue.h"
#include "lib_malloc.h"
#include <ppc/cache.h>
#include <pci/io.h>
#include <time/time.h>
#include <string.h>
#include <stdio.h>
Go to the source code of this file.
◆ console_log
#define console_log |
( |
|
fmt, |
|
|
|
x... |
|
) |
| printf(fmt "\n", x) |
Definition at line 18 of file cfe.h.
◆ KERNADDR
#define KERNADDR |
( |
|
x | ) |
(x | 0x80000000) |
Definition at line 15 of file cfe.h.
◆ PHYSADDR
#define PHYSADDR |
( |
|
x | ) |
(x &~ 0x80000000) |
Definition at line 14 of file cfe.h.
◆ UNCADDR
#define UNCADDR |
( |
|
x | ) |
(x | 0x80000000) |
Definition at line 16 of file cfe.h.
◆ hsaddr_t
Definition at line 11 of file cfe.h.
◆ physaddr_t
Definition at line 12 of file cfe.h.