https://sel4.github.io/rust-sel4/views/aarch64-microkit-minimal/aarch64-sel4-microkit-minimal/doc/sel4_sys/seL4_VPPIEvent_Msg/constant.seL4_VPPIEvent_Length.html
seL4_VPPIEvent_Length in sel4_sys::seL4_VPPIEvent_Msg - Rust
API documentation for the Rust `seL4_VPPIEvent_Length` constant in crate `sel4_sys`.
lengthsysmsgrust