Xen Test Framework
lowlevel.h
Go to the documentation of this file.
1 
34 #ifndef __LOWLEVEL_H__
35 #define __LOWLEVEL_H__
36 
37 void stub_int3_reg(void);
38 void stub_int3_red(void);
39 void stub_int3_force(void);
40 void stub_int3_forcered(void);
41 extern unsigned long label_int3_reg_trap[], label_int3_reg_fault[];
42 extern unsigned long label_int3_red_trap[], label_int3_red_fault[];
43 extern unsigned long label_int3_force_trap[], label_int3_force_fault[];
44 extern unsigned long label_int3_forcered_trap[], label_int3_forcered_fault[];
45 
46 void stub_int_0x3_reg(void);
47 void stub_int_0x3_red(void);
48 void stub_int_0x3_force(void);
49 void stub_int_0x3_forcered(void);
50 extern unsigned long label_int_0x3_reg_trap[], label_int_0x3_reg_fault[];
51 extern unsigned long label_int_0x3_red_trap[], label_int_0x3_red_fault[];
52 extern unsigned long label_int_0x3_force_trap[], label_int_0x3_force_fault[];
54 
55 void stub_icebp_reg(void);
56 void stub_icebp_red(void);
57 void stub_icebp_force(void);
58 void stub_icebp_forcered(void);
59 extern unsigned long label_icebp_reg_trap[], label_icebp_reg_fault[];
60 extern unsigned long label_icebp_red_trap[], label_icebp_red_fault[];
61 extern unsigned long label_icebp_force_trap[], label_icebp_force_fault[];
63 
64 void stub_int_0x1_reg(void);
65 void stub_int_0x1_red(void);
66 void stub_int_0x1_force(void);
67 void stub_int_0x1_forcered(void);
68 extern unsigned long label_int_0x1_reg_trap[], label_int_0x1_reg_fault[];
69 extern unsigned long label_int_0x1_red_trap[], label_int_0x1_red_fault[];
70 extern unsigned long label_int_0x1_force_trap[], label_int_0x1_force_fault[];
72 
73 void stub_into_reg(void);
74 void stub_into_red(void);
75 void stub_into_force(void);
76 void stub_into_forcered(void);
77 extern unsigned long label_into_reg_trap[], label_into_reg_fault[];
78 extern unsigned long label_into_red_trap[], label_into_red_fault[];
79 extern unsigned long label_into_force_trap[], label_into_force_fault[];
80 extern unsigned long label_into_forcered_trap[], label_into_forcered_fault[];
81 
82 #endif /* __LOWLEVEL_H__ */
83 
84 /*
85  * Local variables:
86  * mode: C
87  * c-file-style: "BSD"
88  * c-basic-offset: 4
89  * tab-width: 4
90  * indent-tabs-mode: nil
91  * End:
92  */
unsigned long label_int_0x1_red_fault[]
void stub_int_0x3_reg(void)
unsigned long label_int3_red_trap[]
unsigned long label_int3_force_trap[]
unsigned long label_into_forcered_fault[]
unsigned long label_int_0x3_forcered_trap[]
unsigned long label_int3_reg_trap[]
unsigned long label_int_0x3_forcered_fault[]
unsigned long label_int3_forcered_fault[]
void stub_int_0x1_red(void)
unsigned long label_icebp_reg_fault[]
unsigned long label_icebp_red_trap[]
unsigned long label_int_0x1_force_trap[]
unsigned long label_int_0x3_reg_fault[]
void stub_into_reg(void)
unsigned long label_icebp_red_fault[]
void stub_icebp_reg(void)
void stub_int_0x1_reg(void)
void stub_int3_red(void)
void stub_int_0x3_forcered(void)
unsigned long label_icebp_forcered_trap[]
void stub_int_0x3_red(void)
unsigned long label_icebp_force_trap[]
unsigned long label_int_0x1_force_fault[]
void stub_into_force(void)
unsigned long label_int3_force_fault[]
unsigned long label_int_0x3_force_trap[]
unsigned long label_icebp_force_fault[]
void stub_int_0x3_force(void)
unsigned long label_into_force_fault[]
void stub_icebp_force(void)
void stub_int3_forcered(void)
unsigned long label_int_0x3_force_fault[]
unsigned long label_into_red_trap[]
unsigned long label_int3_red_fault[]
void stub_int_0x1_forcered(void)
unsigned long label_into_force_trap[]
void stub_icebp_forcered(void)
unsigned long label_int_0x3_red_fault[]
unsigned long label_into_forcered_trap[]
unsigned long label_into_reg_trap[]
void stub_into_forcered(void)
void stub_int3_force(void)
unsigned long label_int3_reg_fault[]
unsigned long label_int_0x3_red_trap[]
unsigned long label_icebp_reg_trap[]
void stub_into_red(void)
void stub_int_0x1_force(void)
unsigned long label_int3_forcered_trap[]
void stub_int3_reg(void)
unsigned long label_int_0x1_forcered_trap[]
unsigned long label_int_0x1_red_trap[]
unsigned long label_into_reg_fault[]
unsigned long label_int_0x1_reg_trap[]
unsigned long label_int_0x3_reg_trap[]
unsigned long label_icebp_forcered_fault[]
unsigned long label_int_0x1_forcered_fault[]
unsigned long label_into_red_fault[]
unsigned long label_int_0x1_reg_fault[]
void stub_icebp_red(void)