blob: debf5905076db4585a2489e008c485f1d845f471 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
|
/*
* Kernel image loading.
*
* Copyright (C) 2011 Citrix Systems, Inc.
*/
#ifndef __ARCH_ARM_KERNEL_H__
#define __ARCH_ARM_KERNEL_H__
#include <xen/libelf.h>
#include <xen/device_tree.h>
struct kernel_info {
#ifdef CONFIG_ARM_64
enum domain_type type;
#endif
void *fdt; /* flat device tree */
paddr_t unassigned_mem; /* RAM not (yet) assigned to a bank */
struct dt_mem_info mem;
paddr_t dtb_paddr;
paddr_t entry;
paddr_t initrd_paddr;
void *kernel_img;
unsigned kernel_order;
union {
struct {
paddr_t kernel_addr;
paddr_t load_addr;
paddr_t len;
} zimage;
struct {
struct elf_binary elf;
struct elf_dom_parms parms;
} elf;
};
void (*load)(struct kernel_info *info);
/* Callback to check overlap between the kernel and the device tree */
void (*check_overlap)(struct kernel_info *kinfo);
int load_attr;
};
int kernel_prepare(struct kernel_info *info);
void kernel_load(struct kernel_info *info);
#endif /* #ifdef __ARCH_ARM_KERNEL_H__ */
/*
* Local variables:
* mode: C
* c-file-style: "BSD"
* c-basic-offset: 4
* indent-tabs-mode: nil
* End:
*/
|
