1pub const seL4_True: u32 = 1;
4pub const seL4_False: u32 = 0;
5pub const seL4_WordBits: u32 = 64;
6pub const seL4_WordSizeBits: u32 = 3;
7pub const seL4_SlotBits: u32 = 5;
8pub const seL4_NotificationBits: u32 = 5;
9pub const seL4_EndpointBits: u32 = 4;
10pub const seL4_IPCBufferSizeBits: u32 = 10;
11pub const seL4_TCBBits: u32 = 11;
12pub const seL4_PageTableEntryBits: u32 = 3;
13pub const seL4_PageTableIndexBits: u32 = 9;
14pub const seL4_PageBits: u32 = 12;
15pub const seL4_LargePageBits: u32 = 21;
16pub const seL4_HugePageBits: u32 = 30;
17pub const seL4_TeraPageBits: u32 = 39;
18pub const seL4_PageTableBits: u32 = 12;
19pub const seL4_VSpaceBits: u32 = 12;
20pub const seL4_NumASIDPoolsBits: u32 = 7;
21pub const seL4_ASIDPoolIndexBits: u32 = 9;
22pub const seL4_ASIDPoolBits: u32 = 12;
23pub const seL4_MinUntypedBits: u32 = 4;
24pub const seL4_MaxUntypedBits: u32 = 38;
25pub const seL4_UserTop: u64 = 274877902848;
26pub const seL4_RISCV_Tera_Page: u32 = 4294967295;
27pub const seL4_CapRightsBits: u32 = 4;
28pub const seL4_GuardSizeBits: u32 = 6;
29pub const seL4_GuardBits: u32 = 58;
30pub const seL4_BadgeBits: u32 = 64;
31pub const seL4_UntypedRetypeMaxObjects: u32 = 256;
32pub const seL4_NilData: u32 = 0;
33pub const seL4_BootInfoFrameBits: u32 = 12;
34pub const SEL4_MAPPING_LOOKUP_LEVEL: u32 = 2;
35pub const SEL4_MAPPING_LOOKUP_NO_PT: u32 = 21;
36pub type seL4_Int8 = ::core::ffi::c_schar;
37pub type seL4_Uint8 = ::core::ffi::c_uchar;
38pub type seL4_Int16 = ::core::ffi::c_short;
39pub type seL4_Uint16 = ::core::ffi::c_ushort;
40pub type seL4_Int32 = ::core::ffi::c_int;
41pub type seL4_Uint32 = ::core::ffi::c_uint;
42pub type seL4_Int64 = ::core::ffi::c_long;
43pub type seL4_Uint64 = ::core::ffi::c_ulong;
44pub type seL4_Bool = seL4_Int8;
45pub type seL4_Word = seL4_Uint64;
46pub type seL4_CPtr = seL4_Word;
47pub mod seL4_VMFault_Msg {
48 pub type Type = ::core::ffi::c_uint;
49 pub const seL4_VMFault_IP: Type = 0;
50 pub const seL4_VMFault_Addr: Type = 1;
51 pub const seL4_VMFault_PrefetchFault: Type = 2;
52 pub const seL4_VMFault_FSR: Type = 3;
53 pub const seL4_VMFault_Length: Type = 4;
54}
55pub mod seL4_UnknownSyscall_Msg {
56 pub type Type = ::core::ffi::c_uint;
57 pub const seL4_UnknownSyscall_FaultIP: Type = 0;
58 pub const seL4_UnknownSyscall_SP: Type = 1;
59 pub const seL4_UnknownSyscall_RA: Type = 2;
60 pub const seL4_UnknownSyscall_A0: Type = 3;
61 pub const seL4_UnknownSyscall_A1: Type = 4;
62 pub const seL4_UnknownSyscall_A2: Type = 5;
63 pub const seL4_UnknownSyscall_A3: Type = 6;
64 pub const seL4_UnknownSyscall_A4: Type = 7;
65 pub const seL4_UnknownSyscall_A5: Type = 8;
66 pub const seL4_UnknownSyscall_A6: Type = 9;
67 pub const seL4_UnknownSyscall_Syscall: Type = 10;
68 pub const seL4_UnknownSyscall_Length: Type = 11;
69}
70pub mod seL4_UserException_Msg {
71 pub type Type = ::core::ffi::c_uint;
72 pub const seL4_UserException_FaultIP: Type = 0;
73 pub const seL4_UserException_SP: Type = 1;
74 pub const seL4_UserException_Number: Type = 2;
75 pub const seL4_UserException_Code: Type = 3;
76 pub const seL4_UserException_Length: Type = 4;
77}
78pub type seL4_RISCV_Page = seL4_CPtr;
79pub type seL4_RISCV_PageTable = seL4_CPtr;
80pub type seL4_RISCV_ASIDControl = seL4_CPtr;
81pub type seL4_RISCV_ASIDPool = seL4_CPtr;
82#[repr(C)]
83#[derive(Debug, Default, Copy, Clone, PartialEq, Eq)]
84pub struct seL4_UserContext_ {
85 pub pc: seL4_Word,
86 pub ra: seL4_Word,
87 pub sp: seL4_Word,
88 pub gp: seL4_Word,
89 pub s0: seL4_Word,
90 pub s1: seL4_Word,
91 pub s2: seL4_Word,
92 pub s3: seL4_Word,
93 pub s4: seL4_Word,
94 pub s5: seL4_Word,
95 pub s6: seL4_Word,
96 pub s7: seL4_Word,
97 pub s8: seL4_Word,
98 pub s9: seL4_Word,
99 pub s10: seL4_Word,
100 pub s11: seL4_Word,
101 pub a0: seL4_Word,
102 pub a1: seL4_Word,
103 pub a2: seL4_Word,
104 pub a3: seL4_Word,
105 pub a4: seL4_Word,
106 pub a5: seL4_Word,
107 pub a6: seL4_Word,
108 pub a7: seL4_Word,
109 pub t0: seL4_Word,
110 pub t1: seL4_Word,
111 pub t2: seL4_Word,
112 pub t3: seL4_Word,
113 pub t4: seL4_Word,
114 pub t5: seL4_Word,
115 pub t6: seL4_Word,
116 pub tp: seL4_Word,
117}
118#[allow(clippy::unnecessary_operation, clippy::identity_op)]
119const _: () = {
120 ["Size of seL4_UserContext_"][::core::mem::size_of::<seL4_UserContext_>() - 256usize];
121 ["Alignment of seL4_UserContext_"][::core::mem::align_of::<seL4_UserContext_>() - 8usize];
122 ["Offset of field: seL4_UserContext_::pc"]
123 [::core::mem::offset_of!(seL4_UserContext_, pc) - 0usize];
124 ["Offset of field: seL4_UserContext_::ra"]
125 [::core::mem::offset_of!(seL4_UserContext_, ra) - 8usize];
126 ["Offset of field: seL4_UserContext_::sp"]
127 [::core::mem::offset_of!(seL4_UserContext_, sp) - 16usize];
128 ["Offset of field: seL4_UserContext_::gp"]
129 [::core::mem::offset_of!(seL4_UserContext_, gp) - 24usize];
130 ["Offset of field: seL4_UserContext_::s0"]
131 [::core::mem::offset_of!(seL4_UserContext_, s0) - 32usize];
132 ["Offset of field: seL4_UserContext_::s1"]
133 [::core::mem::offset_of!(seL4_UserContext_, s1) - 40usize];
134 ["Offset of field: seL4_UserContext_::s2"]
135 [::core::mem::offset_of!(seL4_UserContext_, s2) - 48usize];
136 ["Offset of field: seL4_UserContext_::s3"]
137 [::core::mem::offset_of!(seL4_UserContext_, s3) - 56usize];
138 ["Offset of field: seL4_UserContext_::s4"]
139 [::core::mem::offset_of!(seL4_UserContext_, s4) - 64usize];
140 ["Offset of field: seL4_UserContext_::s5"]
141 [::core::mem::offset_of!(seL4_UserContext_, s5) - 72usize];
142 ["Offset of field: seL4_UserContext_::s6"]
143 [::core::mem::offset_of!(seL4_UserContext_, s6) - 80usize];
144 ["Offset of field: seL4_UserContext_::s7"]
145 [::core::mem::offset_of!(seL4_UserContext_, s7) - 88usize];
146 ["Offset of field: seL4_UserContext_::s8"]
147 [::core::mem::offset_of!(seL4_UserContext_, s8) - 96usize];
148 ["Offset of field: seL4_UserContext_::s9"]
149 [::core::mem::offset_of!(seL4_UserContext_, s9) - 104usize];
150 ["Offset of field: seL4_UserContext_::s10"]
151 [::core::mem::offset_of!(seL4_UserContext_, s10) - 112usize];
152 ["Offset of field: seL4_UserContext_::s11"]
153 [::core::mem::offset_of!(seL4_UserContext_, s11) - 120usize];
154 ["Offset of field: seL4_UserContext_::a0"]
155 [::core::mem::offset_of!(seL4_UserContext_, a0) - 128usize];
156 ["Offset of field: seL4_UserContext_::a1"]
157 [::core::mem::offset_of!(seL4_UserContext_, a1) - 136usize];
158 ["Offset of field: seL4_UserContext_::a2"]
159 [::core::mem::offset_of!(seL4_UserContext_, a2) - 144usize];
160 ["Offset of field: seL4_UserContext_::a3"]
161 [::core::mem::offset_of!(seL4_UserContext_, a3) - 152usize];
162 ["Offset of field: seL4_UserContext_::a4"]
163 [::core::mem::offset_of!(seL4_UserContext_, a4) - 160usize];
164 ["Offset of field: seL4_UserContext_::a5"]
165 [::core::mem::offset_of!(seL4_UserContext_, a5) - 168usize];
166 ["Offset of field: seL4_UserContext_::a6"]
167 [::core::mem::offset_of!(seL4_UserContext_, a6) - 176usize];
168 ["Offset of field: seL4_UserContext_::a7"]
169 [::core::mem::offset_of!(seL4_UserContext_, a7) - 184usize];
170 ["Offset of field: seL4_UserContext_::t0"]
171 [::core::mem::offset_of!(seL4_UserContext_, t0) - 192usize];
172 ["Offset of field: seL4_UserContext_::t1"]
173 [::core::mem::offset_of!(seL4_UserContext_, t1) - 200usize];
174 ["Offset of field: seL4_UserContext_::t2"]
175 [::core::mem::offset_of!(seL4_UserContext_, t2) - 208usize];
176 ["Offset of field: seL4_UserContext_::t3"]
177 [::core::mem::offset_of!(seL4_UserContext_, t3) - 216usize];
178 ["Offset of field: seL4_UserContext_::t4"]
179 [::core::mem::offset_of!(seL4_UserContext_, t4) - 224usize];
180 ["Offset of field: seL4_UserContext_::t5"]
181 [::core::mem::offset_of!(seL4_UserContext_, t5) - 232usize];
182 ["Offset of field: seL4_UserContext_::t6"]
183 [::core::mem::offset_of!(seL4_UserContext_, t6) - 240usize];
184 ["Offset of field: seL4_UserContext_::tp"]
185 [::core::mem::offset_of!(seL4_UserContext_, tp) - 248usize];
186};
187pub type seL4_UserContext = seL4_UserContext_;
188pub mod seL4_RISCV_VMAttributes {
189 pub type Type = ::core::ffi::c_ulong;
190 pub const seL4_RISCV_ExecuteNever: Type = 1;
191 pub const seL4_RISCV_Default_VMAttributes: Type = 0;
192 pub const _enum_pad_seL4_RISCV_VMAttributes: Type = 9223372036854775807;
193}
194pub mod api_object {
195 pub type Type = ::core::ffi::c_uint;
196 pub const seL4_UntypedObject: Type = 0;
197 pub const seL4_TCBObject: Type = 1;
198 pub const seL4_EndpointObject: Type = 2;
199 pub const seL4_NotificationObject: Type = 3;
200 pub const seL4_CapTableObject: Type = 4;
201 pub const seL4_NonArchObjectTypeCount: Type = 5;
202}
203pub use self::api_object::Type as seL4_ObjectType;
204pub mod _mode_object {
205 pub type Type = ::core::ffi::c_uint;
206 pub const seL4_RISCV_Giga_Page: Type = 5;
207 pub const seL4_ModeObjectTypeCount: Type = 6;
208}
209pub use self::_mode_object::Type as seL4_ModeObjectType;
210pub mod _object {
211 pub type Type = ::core::ffi::c_uint;
212 pub const seL4_RISCV_4K_Page: Type = 6;
213 pub const seL4_RISCV_Mega_Page: Type = 7;
214 pub const seL4_RISCV_PageTableObject: Type = 8;
215 pub const seL4_ObjectTypeCount: Type = 9;
216}
217pub use self::_object::Type as seL4_ArchObjectType;
218pub mod seL4_Error {
219 pub type Type = ::core::ffi::c_uint;
220 pub const seL4_NoError: Type = 0;
221 pub const seL4_InvalidArgument: Type = 1;
222 pub const seL4_InvalidCapability: Type = 2;
223 pub const seL4_IllegalOperation: Type = 3;
224 pub const seL4_RangeError: Type = 4;
225 pub const seL4_AlignmentError: Type = 5;
226 pub const seL4_FailedLookup: Type = 6;
227 pub const seL4_TruncatedMessage: Type = 7;
228 pub const seL4_DeleteFirst: Type = 8;
229 pub const seL4_RevokeFirst: Type = 9;
230 pub const seL4_NotEnoughMemory: Type = 10;
231 pub const seL4_NumErrors: Type = 11;
232}
233pub mod priorityConstants {
234 pub type Type = ::core::ffi::c_int;
235 pub const seL4_InvalidPrio: Type = -1;
236 pub const seL4_MinPrio: Type = 0;
237 pub const seL4_MaxPrio: Type = 255;
238}
239pub mod seL4_MsgLimits {
240 pub type Type = ::core::ffi::c_uint;
241 pub const seL4_MsgLengthBits: Type = 7;
242 pub const seL4_MsgExtraCapBits: Type = 2;
243 pub const seL4_MsgMaxLength: Type = 120;
244}
245pub mod seL4_LookupFailureType {
246 pub type Type = ::core::ffi::c_ulong;
247 pub const seL4_NoFailure: Type = 0;
248 pub const seL4_InvalidRoot: Type = 1;
249 pub const seL4_MissingCapability: Type = 2;
250 pub const seL4_DepthMismatch: Type = 3;
251 pub const seL4_GuardMismatch: Type = 4;
252 pub const _enum_pad_seL4_LookupFailureType: Type = 9223372036854775807;
253}
254pub mod seL4_TCBFlag {
255 pub type Type = ::core::ffi::c_ulong;
256 pub const seL4_TCBFlag_NoFlag: Type = 0;
257 pub const seL4_TCBFlag_fpuDisabled: Type = 1;
258 pub const _enum_pad_seL4_TCBFlag: Type = 9223372036854775807;
259 pub const seL4_TCBFlag_MASK: Type = 1;
260}
261#[repr(C)]
262pub struct seL4_IPCBuffer_ {
263 pub tag: seL4_MessageInfo_t,
264 pub msg: [seL4_Word; 120usize],
265 pub userData: seL4_Word,
266 pub caps_or_badges: [seL4_Word; 3usize],
267 pub receiveCNode: seL4_CPtr,
268 pub receiveIndex: seL4_CPtr,
269 pub receiveDepth: seL4_Word,
270}
271#[allow(clippy::unnecessary_operation, clippy::identity_op)]
272const _: () = {
273 ["Size of seL4_IPCBuffer_"][::core::mem::size_of::<seL4_IPCBuffer_>() - 1024usize];
274 ["Alignment of seL4_IPCBuffer_"][::core::mem::align_of::<seL4_IPCBuffer_>() - 8usize];
275 ["Offset of field: seL4_IPCBuffer_::tag"]
276 [::core::mem::offset_of!(seL4_IPCBuffer_, tag) - 0usize];
277 ["Offset of field: seL4_IPCBuffer_::msg"]
278 [::core::mem::offset_of!(seL4_IPCBuffer_, msg) - 8usize];
279 ["Offset of field: seL4_IPCBuffer_::userData"]
280 [::core::mem::offset_of!(seL4_IPCBuffer_, userData) - 968usize];
281 ["Offset of field: seL4_IPCBuffer_::caps_or_badges"]
282 [::core::mem::offset_of!(seL4_IPCBuffer_, caps_or_badges) - 976usize];
283 ["Offset of field: seL4_IPCBuffer_::receiveCNode"]
284 [::core::mem::offset_of!(seL4_IPCBuffer_, receiveCNode) - 1000usize];
285 ["Offset of field: seL4_IPCBuffer_::receiveIndex"]
286 [::core::mem::offset_of!(seL4_IPCBuffer_, receiveIndex) - 1008usize];
287 ["Offset of field: seL4_IPCBuffer_::receiveDepth"]
288 [::core::mem::offset_of!(seL4_IPCBuffer_, receiveDepth) - 1016usize];
289};
290impl Default for seL4_IPCBuffer_ {
291 fn default() -> Self {
292 let mut s = ::core::mem::MaybeUninit::<Self>::uninit();
293 unsafe {
294 ::core::ptr::write_bytes(s.as_mut_ptr(), 0, 1);
295 s.assume_init()
296 }
297 }
298}
299pub type seL4_IPCBuffer = seL4_IPCBuffer_;
300pub mod seL4_CapFault_Msg {
301 pub type Type = ::core::ffi::c_ulong;
302 pub const seL4_CapFault_IP: Type = 0;
303 pub const seL4_CapFault_Addr: Type = 1;
304 pub const seL4_CapFault_InRecvPhase: Type = 2;
305 pub const seL4_CapFault_LookupFailureType: Type = 3;
306 pub const seL4_CapFault_BitsLeft: Type = 4;
307 pub const seL4_CapFault_DepthMismatch_BitsFound: Type = 5;
308 pub const seL4_CapFault_GuardMismatch_GuardFound: Type = 5;
309 pub const seL4_CapFault_GuardMismatch_BitsFound: Type = 6;
310 pub const _enum_pad_seL4_CapFault_Msg: Type = 9223372036854775807;
311}
312pub type seL4_NodeId = seL4_Word;
313pub type seL4_PAddr = seL4_Word;
314pub type seL4_Domain = seL4_Word;
315pub type seL4_CNode = seL4_CPtr;
316pub type seL4_IRQHandler = seL4_CPtr;
317pub type seL4_IRQControl = seL4_CPtr;
318pub type seL4_TCB = seL4_CPtr;
319pub type seL4_Untyped = seL4_CPtr;
320pub type seL4_DomainSet = seL4_CPtr;
321pub type seL4_SchedContext = seL4_CPtr;
322pub type seL4_SchedControl = seL4_CPtr;
323pub type seL4_Time = seL4_Uint64;
324#[repr(C)]
325#[derive(Debug, Default, Copy, Clone, PartialEq, Eq)]
326pub struct seL4_TCB_GetBreakpoint {
327 pub error: ::core::ffi::c_int,
328 pub vaddr: seL4_Word,
329 pub type_: seL4_Word,
330 pub size: seL4_Word,
331 pub rw: seL4_Word,
332 pub is_enabled: seL4_Bool,
333}
334#[allow(clippy::unnecessary_operation, clippy::identity_op)]
335const _: () = {
336 ["Size of seL4_TCB_GetBreakpoint"][::core::mem::size_of::<seL4_TCB_GetBreakpoint>() - 48usize];
337 ["Alignment of seL4_TCB_GetBreakpoint"]
338 [::core::mem::align_of::<seL4_TCB_GetBreakpoint>() - 8usize];
339 ["Offset of field: seL4_TCB_GetBreakpoint::error"]
340 [::core::mem::offset_of!(seL4_TCB_GetBreakpoint, error) - 0usize];
341 ["Offset of field: seL4_TCB_GetBreakpoint::vaddr"]
342 [::core::mem::offset_of!(seL4_TCB_GetBreakpoint, vaddr) - 8usize];
343 ["Offset of field: seL4_TCB_GetBreakpoint::type_"]
344 [::core::mem::offset_of!(seL4_TCB_GetBreakpoint, type_) - 16usize];
345 ["Offset of field: seL4_TCB_GetBreakpoint::size"]
346 [::core::mem::offset_of!(seL4_TCB_GetBreakpoint, size) - 24usize];
347 ["Offset of field: seL4_TCB_GetBreakpoint::rw"]
348 [::core::mem::offset_of!(seL4_TCB_GetBreakpoint, rw) - 32usize];
349 ["Offset of field: seL4_TCB_GetBreakpoint::is_enabled"]
350 [::core::mem::offset_of!(seL4_TCB_GetBreakpoint, is_enabled) - 40usize];
351};
352#[repr(C)]
353#[derive(Debug, Default, Copy, Clone, PartialEq, Eq)]
354pub struct seL4_TCB_ConfigureSingleStepping {
355 pub error: ::core::ffi::c_int,
356 pub bp_was_consumed: seL4_Bool,
357}
358#[allow(clippy::unnecessary_operation, clippy::identity_op)]
359const _: () = {
360 ["Size of seL4_TCB_ConfigureSingleStepping"]
361 [::core::mem::size_of::<seL4_TCB_ConfigureSingleStepping>() - 8usize];
362 ["Alignment of seL4_TCB_ConfigureSingleStepping"]
363 [::core::mem::align_of::<seL4_TCB_ConfigureSingleStepping>() - 4usize];
364 ["Offset of field: seL4_TCB_ConfigureSingleStepping::error"]
365 [::core::mem::offset_of!(seL4_TCB_ConfigureSingleStepping, error) - 0usize];
366 ["Offset of field: seL4_TCB_ConfigureSingleStepping::bp_was_consumed"]
367 [::core::mem::offset_of!(seL4_TCB_ConfigureSingleStepping, bp_was_consumed) - 4usize];
368};
369#[repr(C)]
370#[derive(Debug, Default, Copy, Clone, PartialEq, Eq)]
371pub struct seL4_SchedContext_Consumed {
372 pub error: ::core::ffi::c_int,
373 pub consumed: seL4_Time,
374}
375#[allow(clippy::unnecessary_operation, clippy::identity_op)]
376const _: () = {
377 ["Size of seL4_SchedContext_Consumed"]
378 [::core::mem::size_of::<seL4_SchedContext_Consumed>() - 16usize];
379 ["Alignment of seL4_SchedContext_Consumed"]
380 [::core::mem::align_of::<seL4_SchedContext_Consumed>() - 8usize];
381 ["Offset of field: seL4_SchedContext_Consumed::error"]
382 [::core::mem::offset_of!(seL4_SchedContext_Consumed, error) - 0usize];
383 ["Offset of field: seL4_SchedContext_Consumed::consumed"]
384 [::core::mem::offset_of!(seL4_SchedContext_Consumed, consumed) - 8usize];
385};
386#[repr(C)]
387#[derive(Debug, Default, Copy, Clone, PartialEq, Eq)]
388pub struct seL4_SchedContext_YieldTo {
389 pub error: ::core::ffi::c_int,
390 pub consumed: seL4_Time,
391}
392#[allow(clippy::unnecessary_operation, clippy::identity_op)]
393const _: () = {
394 ["Size of seL4_SchedContext_YieldTo"]
395 [::core::mem::size_of::<seL4_SchedContext_YieldTo>() - 16usize];
396 ["Alignment of seL4_SchedContext_YieldTo"]
397 [::core::mem::align_of::<seL4_SchedContext_YieldTo>() - 8usize];
398 ["Offset of field: seL4_SchedContext_YieldTo::error"]
399 [::core::mem::offset_of!(seL4_SchedContext_YieldTo, error) - 0usize];
400 ["Offset of field: seL4_SchedContext_YieldTo::consumed"]
401 [::core::mem::offset_of!(seL4_SchedContext_YieldTo, consumed) - 8usize];
402};
403pub mod seL4_RootCNodeCapSlots {
404 pub type Type = ::core::ffi::c_uint;
405 pub const seL4_CapNull: Type = 0;
406 pub const seL4_CapInitThreadTCB: Type = 1;
407 pub const seL4_CapInitThreadCNode: Type = 2;
408 pub const seL4_CapInitThreadVSpace: Type = 3;
409 pub const seL4_CapIRQControl: Type = 4;
410 pub const seL4_CapASIDControl: Type = 5;
411 pub const seL4_CapInitThreadASIDPool: Type = 6;
412 pub const seL4_CapIOPortControl: Type = 7;
413 pub const seL4_CapIOSpace: Type = 8;
414 pub const seL4_CapBootInfoFrame: Type = 9;
415 pub const seL4_CapInitThreadIPCBuffer: Type = 10;
416 pub const seL4_CapDomain: Type = 11;
417 pub const seL4_CapSMMUSIDControl: Type = 12;
418 pub const seL4_CapSMMUCBControl: Type = 13;
419 pub const seL4_CapInitThreadSC: Type = 14;
420 pub const seL4_CapSMC: Type = 15;
421 pub const seL4_NumInitialCaps: Type = 16;
422}
423pub type seL4_SlotPos = seL4_Word;
424#[repr(C)]
425#[derive(Debug, Default, Copy, Clone, PartialEq, Eq)]
426pub struct seL4_SlotRegion {
427 pub start: seL4_SlotPos,
428 pub end: seL4_SlotPos,
429}
430#[allow(clippy::unnecessary_operation, clippy::identity_op)]
431const _: () = {
432 ["Size of seL4_SlotRegion"][::core::mem::size_of::<seL4_SlotRegion>() - 16usize];
433 ["Alignment of seL4_SlotRegion"][::core::mem::align_of::<seL4_SlotRegion>() - 8usize];
434 ["Offset of field: seL4_SlotRegion::start"]
435 [::core::mem::offset_of!(seL4_SlotRegion, start) - 0usize];
436 ["Offset of field: seL4_SlotRegion::end"]
437 [::core::mem::offset_of!(seL4_SlotRegion, end) - 8usize];
438};
439#[repr(C)]
440#[derive(Debug, Default, Copy, Clone, PartialEq, Eq)]
441pub struct seL4_UntypedDesc {
442 pub paddr: seL4_Word,
443 pub sizeBits: seL4_Uint8,
444 pub isDevice: seL4_Uint8,
445 pub padding: [seL4_Uint8; 6usize],
446}
447#[allow(clippy::unnecessary_operation, clippy::identity_op)]
448const _: () = {
449 ["Size of seL4_UntypedDesc"][::core::mem::size_of::<seL4_UntypedDesc>() - 16usize];
450 ["Alignment of seL4_UntypedDesc"][::core::mem::align_of::<seL4_UntypedDesc>() - 8usize];
451 ["Offset of field: seL4_UntypedDesc::paddr"]
452 [::core::mem::offset_of!(seL4_UntypedDesc, paddr) - 0usize];
453 ["Offset of field: seL4_UntypedDesc::sizeBits"]
454 [::core::mem::offset_of!(seL4_UntypedDesc, sizeBits) - 8usize];
455 ["Offset of field: seL4_UntypedDesc::isDevice"]
456 [::core::mem::offset_of!(seL4_UntypedDesc, isDevice) - 9usize];
457 ["Offset of field: seL4_UntypedDesc::padding"]
458 [::core::mem::offset_of!(seL4_UntypedDesc, padding) - 10usize];
459};
460#[repr(C)]
461#[derive(Debug, Copy, Clone, PartialEq, Eq)]
462pub struct seL4_BootInfo {
463 pub extraLen: seL4_Word,
464 pub nodeID: seL4_NodeId,
465 pub numNodes: seL4_Word,
466 pub numIOPTLevels: seL4_Word,
467 pub ipcBuffer: *mut seL4_IPCBuffer,
468 pub empty: seL4_SlotRegion,
469 pub sharedFrames: seL4_SlotRegion,
470 pub userImageFrames: seL4_SlotRegion,
471 pub userImagePaging: seL4_SlotRegion,
472 pub ioSpaceCaps: seL4_SlotRegion,
473 pub extraBIPages: seL4_SlotRegion,
474 pub initThreadCNodeSizeBits: seL4_Word,
475 pub initThreadDomain: seL4_Domain,
476 pub untyped: seL4_SlotRegion,
477 pub untypedList: [seL4_UntypedDesc; 230usize],
478}
479#[allow(clippy::unnecessary_operation, clippy::identity_op)]
480const _: () = {
481 ["Size of seL4_BootInfo"][::core::mem::size_of::<seL4_BootInfo>() - 3848usize];
482 ["Alignment of seL4_BootInfo"][::core::mem::align_of::<seL4_BootInfo>() - 8usize];
483 ["Offset of field: seL4_BootInfo::extraLen"]
484 [::core::mem::offset_of!(seL4_BootInfo, extraLen) - 0usize];
485 ["Offset of field: seL4_BootInfo::nodeID"]
486 [::core::mem::offset_of!(seL4_BootInfo, nodeID) - 8usize];
487 ["Offset of field: seL4_BootInfo::numNodes"]
488 [::core::mem::offset_of!(seL4_BootInfo, numNodes) - 16usize];
489 ["Offset of field: seL4_BootInfo::numIOPTLevels"]
490 [::core::mem::offset_of!(seL4_BootInfo, numIOPTLevels) - 24usize];
491 ["Offset of field: seL4_BootInfo::ipcBuffer"]
492 [::core::mem::offset_of!(seL4_BootInfo, ipcBuffer) - 32usize];
493 ["Offset of field: seL4_BootInfo::empty"]
494 [::core::mem::offset_of!(seL4_BootInfo, empty) - 40usize];
495 ["Offset of field: seL4_BootInfo::sharedFrames"]
496 [::core::mem::offset_of!(seL4_BootInfo, sharedFrames) - 56usize];
497 ["Offset of field: seL4_BootInfo::userImageFrames"]
498 [::core::mem::offset_of!(seL4_BootInfo, userImageFrames) - 72usize];
499 ["Offset of field: seL4_BootInfo::userImagePaging"]
500 [::core::mem::offset_of!(seL4_BootInfo, userImagePaging) - 88usize];
501 ["Offset of field: seL4_BootInfo::ioSpaceCaps"]
502 [::core::mem::offset_of!(seL4_BootInfo, ioSpaceCaps) - 104usize];
503 ["Offset of field: seL4_BootInfo::extraBIPages"]
504 [::core::mem::offset_of!(seL4_BootInfo, extraBIPages) - 120usize];
505 ["Offset of field: seL4_BootInfo::initThreadCNodeSizeBits"]
506 [::core::mem::offset_of!(seL4_BootInfo, initThreadCNodeSizeBits) - 136usize];
507 ["Offset of field: seL4_BootInfo::initThreadDomain"]
508 [::core::mem::offset_of!(seL4_BootInfo, initThreadDomain) - 144usize];
509 ["Offset of field: seL4_BootInfo::untyped"]
510 [::core::mem::offset_of!(seL4_BootInfo, untyped) - 152usize];
511 ["Offset of field: seL4_BootInfo::untypedList"]
512 [::core::mem::offset_of!(seL4_BootInfo, untypedList) - 168usize];
513};
514impl Default for seL4_BootInfo {
515 fn default() -> Self {
516 let mut s = ::core::mem::MaybeUninit::<Self>::uninit();
517 unsafe {
518 ::core::ptr::write_bytes(s.as_mut_ptr(), 0, 1);
519 s.assume_init()
520 }
521 }
522}
523pub mod seL4_BootInfoID {
524 pub type Type = ::core::ffi::c_ulong;
525 pub const SEL4_BOOTINFO_HEADER_PADDING: Type = 0;
526 pub const SEL4_BOOTINFO_HEADER_X86_VBE: Type = 1;
527 pub const SEL4_BOOTINFO_HEADER_X86_MBMMAP: Type = 2;
528 pub const SEL4_BOOTINFO_HEADER_X86_ACPI_RSDP: Type = 3;
529 pub const SEL4_BOOTINFO_HEADER_X86_FRAMEBUFFER: Type = 4;
530 pub const SEL4_BOOTINFO_HEADER_X86_TSC_FREQ: Type = 5;
531 pub const SEL4_BOOTINFO_HEADER_FDT: Type = 6;
532 pub const SEL4_BOOTINFO_HEADER_NUM: Type = 7;
533 pub const _enum_pad_seL4_BootInfoID: Type = 9223372036854775807;
534}
535#[repr(C)]
536#[derive(Debug, Default, Copy, Clone, PartialEq, Eq)]
537pub struct seL4_BootInfoHeader {
538 pub id: seL4_Word,
539 pub len: seL4_Word,
540}
541#[allow(clippy::unnecessary_operation, clippy::identity_op)]
542const _: () = {
543 ["Size of seL4_BootInfoHeader"][::core::mem::size_of::<seL4_BootInfoHeader>() - 16usize];
544 ["Alignment of seL4_BootInfoHeader"][::core::mem::align_of::<seL4_BootInfoHeader>() - 8usize];
545 ["Offset of field: seL4_BootInfoHeader::id"]
546 [::core::mem::offset_of!(seL4_BootInfoHeader, id) - 0usize];
547 ["Offset of field: seL4_BootInfoHeader::len"]
548 [::core::mem::offset_of!(seL4_BootInfoHeader, len) - 8usize];
549};