1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23

use sel4_common::plus_define_bitfield;

const seL4_CapRightsBits: usize = 4;
plus_define_bitfield! {
    seL4_CapRights_t, 1, 0, 0, 0 => {
        new, 0 => {
            allow_grant_reply, get_allow_grant_reply, set_allow_grant_reply, 0, 3, 1, 0, false,
            allow_grant, get_allow_grant, set_allow_grant, 0, 2, 1, 0, false,
            allow_read, get_allow_read, set_allow_read, 0, 1, 1, 0, false,
            allow_write, get_allow_write, set_allow_write, 0, 0, 1, 0, false
        }
    }
}


impl seL4_CapRights_t {
    #[inline]
    pub fn from_word(word: usize) -> Self {
        Self {
            words: [word]
        }
    }
}