Skip to content

Commit 95c1400

Browse files
committed
l4re: Move pthread_attr_t into s!
Resolve the `improper_ctypes` warning on l4re-uclibc that we are getting in CI. The current version was added in e412497 ("Move L4Re-specific code into separate module.") and doesn't seem to have been intentional.
1 parent eb505fb commit 95c1400

File tree

1 file changed

+14
-15
lines changed
  • src/unix/linux_like/linux/uclibc/x86_64

1 file changed

+14
-15
lines changed

src/unix/linux_like/linux/uclibc/x86_64/l4re.rs

Lines changed: 14 additions & 15 deletions
Original file line numberDiff line numberDiff line change
@@ -26,22 +26,21 @@ s! {
2626
/// Bitmap of CPUs.
2727
map: l4_umword_t,
2828
}
29-
}
3029

31-
#[cfg_attr(feature = "extra_traits", derive(Debug))]
32-
pub struct pthread_attr_t {
33-
pub __detachstate: c_int,
34-
pub __schedpolicy: c_int,
35-
pub __schedparam: super::__sched_param,
36-
pub __inheritsched: c_int,
37-
pub __scope: c_int,
38-
pub __guardsize: size_t,
39-
pub __stackaddr_set: c_int,
40-
pub __stackaddr: *mut c_void, // better don't use it
41-
pub __stacksize: size_t,
42-
// L4Re specifics
43-
pub affinity: l4_sched_cpu_set_t,
44-
pub create_flags: c_uint,
30+
pub struct pthread_attr_t {
31+
pub __detachstate: c_int,
32+
pub __schedpolicy: c_int,
33+
pub __schedparam: super::__sched_param,
34+
pub __inheritsched: c_int,
35+
pub __scope: c_int,
36+
pub __guardsize: size_t,
37+
pub __stackaddr_set: c_int,
38+
pub __stackaddr: *mut c_void, // better don't use it
39+
pub __stacksize: size_t,
40+
// L4Re specifics
41+
pub affinity: l4_sched_cpu_set_t,
42+
pub create_flags: c_uint,
43+
}
4544
}
4645

4746
// L4Re requires a min stack size of 64k; that isn't defined in uClibc, but

0 commit comments

Comments
 (0)