1 #ifndef __ASM_DOMAIN_BUILD_H__
2 #define __ASM_DOMAIN_BUILD_H__
3 
4 #include <xen/fdt-kernel.h>
5 #include <xen/sched.h>
6 
7 typedef __be32 gic_interrupt_t[3];
8 int make_psci_node(void *fdt);
9 void evtchn_allocate(struct domain *d);
10 
11 /*
12  * Helper to write an interrupts with the GIC format
13  * This code is assuming the irq is an PPI.
14  */
15 void set_interrupt(gic_interrupt_t interrupt, unsigned int irq,
16                    unsigned int cpumask, unsigned int level);
17 
18 #ifndef CONFIG_ACPI
prepare_acpi(struct domain * d,struct kernel_info * kinfo)19 static inline int prepare_acpi(struct domain *d, struct kernel_info *kinfo)
20 {
21     /* Only booting with ACPI will hit here */
22     BUG();
23     return -EINVAL;
24 }
25 #else
26 int prepare_acpi(struct domain *d, struct kernel_info *kinfo);
27 #endif
28 
29 int add_ext_regions(unsigned long s_gfn, unsigned long e_gfn, void *data);
30 
31 #endif
32 
33 /*
34  * Local variables:
35  * mode: C
36  * c-file-style: "BSD"
37  * c-basic-offset: 4
38  * indent-tabs-mode: nil
39  * End:
40  */
41