| /seL4-master/include/arch/x86/arch/object/ |
| A D | structures.bf | 13 padding 5
15 padding 5
17 padding 5
19 padding 5
21 padding 5
23 padding 5
25 padding 5
27 padding 5
121 padding 12
128 padding 28
[all …]
|
| /seL4-master/include/arch/arm/arch/64/mode/object/ |
| A D | structures.bf | 121 padding 64
124 padding 59
133 padding 59
207 padding 64
211 padding 25
212 padding 28
217 padding 64
219 padding 28
225 padding 32
226 padding 28
[all …]
|
| /seL4-master/include/arch/x86/arch/64/mode/object/ |
| A D | structures.bf | 85 padding 64
88 padding 59
93 padding 64
103 padding 64
106 padding 59
111 padding 64
113 padding 3
117 padding 8
129 padding 64
138 padding 32
[all …]
|
| /seL4-master/include/object/ |
| A D | structures_64.bf | 8 padding 64
11 padding 59
17 padding 9
20 padding 18
29 padding 11
32 padding 20
49 padding 7
52 padding 16
67 padding 9
70 padding 18
[all …]
|
| A D | structures_32.bf | 11 padding 32
13 padding 28
42 padding 2
54 padding 27
61 padding 3
66 padding 32
77 padding 4
83 padding 1
152 padding 4
155 padding 2
[all …]
|
| /seL4-master/include/arch/x86/arch/32/mode/object/ |
| A D | structures.bf | 20 padding 1
25 padding 1
60 padding 32
61 padding 28
70 padding 8
78 padding 32
80 padding 24
89 padding 8
93 padding 16
131 padding 32
[all …]
|
| /seL4-master/include/arch/arm/arch/32/mode/object/ |
| A D | structures.bf | 190 padding 1
246 padding 3
252 padding 1
287 padding 3
341 padding 9
343 padding 1
346 padding 8
348 padding 1
358 padding 8
377 padding 9
[all …]
|
| /seL4-master/libsel4/sel4_arch_include/aarch64/sel4/sel4_arch/ |
| A D | types.bf | 12 padding 576
17 padding 60
22 padding 832
23 padding 60
28 padding 384
37 padding 60
55 padding 60
66 padding 60
74 padding 60
80 padding 32
[all …]
|
| /seL4-master/libsel4/sel4_arch_include/aarch32/sel4/sel4_arch/ |
| A D | types.bf | 12 padding 288
17 padding 28
22 padding 416
23 padding 28
28 padding 192
37 padding 28
55 padding 28
60 padding 256
66 padding 28
74 padding 28
[all …]
|
| /seL4-master/libsel4/sel4_arch_include/riscv64/sel4/sel4_arch/ |
| A D | types.bf | 15 padding 512
28 padding 32
29 padding 31
34 padding 704
35 padding 60
40 padding 256
49 padding 60
65 padding 60
70 padding 448
75 padding 60
[all …]
|
| /seL4-master/libsel4/sel4_arch_include/ia32/sel4/sel4_arch/ |
| A D | types.bf | 12 padding 224
17 padding 28
22 padding 352
23 padding 28
28 padding 128
37 padding 28
53 padding 28
58 padding 192
64 padding 28
75 padding 28
[all …]
|
| /seL4-master/libsel4/sel4_arch_include/riscv32/sel4/sel4_arch/ |
| A D | types.bf | 15 padding 256
27 padding 31
32 padding 352
33 padding 28
38 padding 128
47 padding 28
63 padding 28
68 padding 224
73 padding 28
79 padding 256
[all …]
|
| /seL4-master/libsel4/sel4_arch_include/x86_64/sel4/sel4_arch/ |
| A D | types.bf | 12 padding 960
17 padding 60
22 padding 1216
23 padding 60
28 padding 768
37 padding 60
61 padding 60
66 padding 896
72 padding 60
83 padding 60
[all …]
|
| /seL4-master/include/plat/pc99/plat/32/plat_mode/machine/ |
| A D | hardware.bf | 15 padding 96
17 padding 11
23 padding 40
25 padding 4
28 padding 32
31 padding 8
33 padding 1
40 padding 32
43 padding 10
|
| /seL4-master/include/plat/pc99/plat/64/plat_mode/machine/ |
| A D | hardware.bf | 15 padding 64
17 padding 11
23 padding 40
25 padding 4
30 padding 8
32 padding 1
40 padding 10
|
| /seL4-master/include/arch/riscv/arch/64/mode/object/ |
| A D | structures.bf | 27 padding 9
51 padding 64
54 padding 59
59 padding 64
63 padding 6
98 padding 32
100 padding 7
102 padding 15
109 padding 32
110 padding 31
[all …]
|
| /seL4-master/include/plat/tk1/plat/machine/ |
| A D | hardware.bf | 28 padding 8
32 -- adding a 2-bit padding before address is because
40 padding 6
41 padding 2
43 padding 10
52 padding 7
53 padding 2
|
| /seL4-master/include/arch/riscv/arch/32/mode/object/ |
| A D | structures.bf | 22 padding 3
24 padding 3
36 padding 3
38 padding 7
46 padding 32
48 padding 28
54 padding 23
98 padding 7
100 padding 15
107 padding 31
|
| /seL4-master/libsel4/mode_include/32/sel4/ |
| A D | shared_types.bf | 20 padding 28
29 padding 6
32 padding 3
|
| /seL4-master/libsel4/mode_include/64/sel4/ |
| A D | shared_types.bf | 19 padding 32
21 padding 28
|
| /seL4-master/tools/ |
| A D | bf.vim | 14 syn keyword BFKeyword base block field field_high mask padding tag tagged_union
|
| /seL4-master/libsel4/include/sel4/ |
| A D | bootinfo_types.h | 51 seL4_Uint8 padding[sizeof(seL4_Word) - 2 * sizeof(seL4_Uint8)]; member
|
| /seL4-master/include/drivers/irq/ |
| A D | omap3.h | 29 uint32_t padding[4]; member
|
| A D | am335x.h | 41 uint32_t padding[4]; member
|
| /seL4-master/include/arch/x86/arch/machine/ |
| A D | fpu.h | 30 uint32_t padding[13]; member
|