blob: 3039e1b49b265dc67ced064626a48fdd6732ac6a (
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
|
#ifndef __X86_SETUP_H_
#define __X86_SETUP_H_
#include <xen/multiboot.h>
extern unsigned long xenheap_initial_phys_start;
void early_cpu_init(void);
void early_time_init(void);
void early_page_fault(void);
int intel_cpu_init(void);
int amd_init_cpu(void);
int cyrix_init_cpu(void);
int nsc_init_cpu(void);
int centaur_init_cpu(void);
int transmeta_init_cpu(void);
void set_nr_cpu_ids(unsigned int max_cpus);
void numa_initmem_init(unsigned long start_pfn, unsigned long end_pfn);
void arch_init_memory(void);
void subarch_init_memory(void);
void init_IRQ(void);
void vesa_init(void);
void vesa_mtrr_init(void);
int construct_dom0(
struct domain *d,
const module_t *kernel, unsigned long kernel_headroom,
module_t *initrd,
void *(*bootstrap_map)(const module_t *),
char *cmdline);
unsigned long initial_images_nrpages(void);
void discard_initial_images(void);
int xen_in_range(unsigned long mfn);
void microcode_grab_module(
unsigned long *, const multiboot_info_t *, void *(*)(const module_t *));
extern uint8_t kbd_shift_flags;
#ifdef NDEBUG
# define highmem_start 0
#else
extern unsigned long highmem_start;
#endif
#endif
|
