-}
-
-type utsname = {
- kernel_name : string;
- nodename : string;
- kernel_release : string;
- kernel_version : string;
- machine : string;
- domainname : string;
-}
-
-type kdata = {
- ksyms : ksymmap option;
+ mem : ([`Wordsize], [`Endian], [`HasMapping]) Virt_mem_mmap.t;
+ addrmap : Kernel.addrmap;
+ ksyms : ksymmap;
+ have_ksyms : bool;
+ have_kallsyms : bool;
- tasks : Virt_mem_mmap.addr option;
- net_devices : Virt_mem_mmap.addr option;
-}
-
-exception ParseError of string * string * string
-
-type fieldsig = {
- field_available : bool;
- field_offset : int;
+ have_tasks : bool;
+ have_net_devices : bool;
- { dom = Some dom; domname = domname; mem = mem; arch = arch;
- kernel_min = kernel_min; kernel_max = kernel_max }
+ { dom = Some dom; domname = domname; arch = arch;
+ kernel_min = kernel_min; kernel_max = kernel_max;
+ mem = mem; addrmap = Kernel.AddrMap.empty;
+ ksyms = Ksymmap.empty; have_ksyms = false; have_kallsyms = false;
+ utsname = None;
+ have_tasks = false; have_net_devices = false }
if start < kernel_min then
raise (LoadMemoryError (AddressOutOfRange,
"load_memory: start < kernel_min"))
else if start +^ Int64.of_int size > kernel_max then
raise (LoadMemoryError (AddressOutOfRange,
"load_memory: start+size > kernel_max"))
if start < kernel_min then
raise (LoadMemoryError (AddressOutOfRange,
"load_memory: start < kernel_min"))
else if start +^ Int64.of_int size > kernel_max then
raise (LoadMemoryError (AddressOutOfRange,
"load_memory: start+size > kernel_max"))
else (
match dom with
| None ->
raise (LoadMemoryError (DomIsNull, "load_memory: dom = None"))
| Some dom ->
let mem = _load_memory mem dom start size in
else (
match dom with
| None ->
raise (LoadMemoryError (DomIsNull, "load_memory: dom = None"))
| Some dom ->
let mem = _load_memory mem dom start size in