#include <kip_init.h>
Static Public Member Functions | |
static void | setup_kmem_region (Address kmem_base, Address kmem_size) |
Insert memory descriptor for the Kmem region and finish the memory info field. | |
static FIASCO_INIT void | init () |
KIP initialization. | |
Static Private Member Functions | |
static void | setup_abi () |
ABI specific part of KIP setup. | |
static void | setup_arch () |
Architecture specific part of KIP setup. | |
static void | setup_arch_abi () |
Architecture and ABI specific KIP setup. |
|
KIP initialization.
|
|
ABI specific part of KIP setup.
|
|
Architecture specific part of KIP setup.
|
|
Architecture and ABI specific KIP setup.
|
|
Insert memory descriptor for the Kmem region and finish the memory info field.
|