#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.