opd_kernel.h

Go to the documentation of this file.
00001 
00015 #ifndef OPD_KERNEL_H
00016 #define OPD_KERNEL_H
00017 
00018 #include "op_types.h"
00019 #include "op_list.h"
00020 
00021 struct transient;
00022 
00024 void opd_create_vmlinux(char const * name, char const * arg);
00025 
00026 void opd_create_xen(char const * name, char const * arg);
00027 
00029 void opd_reread_module_info(void);
00030 
00032 struct kernel_image {
00033     char * name;
00034     vma_t start;
00035     vma_t end;
00036     struct list_head list;
00037 };
00038 
00040 struct kernel_image *
00041 find_kernel_image(struct transient const * trans);
00042 
00043 #endif /* OPD_KERNEL_H */