https://sel4.github.io/rust-sel4/views/riscv64-root-task/riscv64imac-sel4/doc/sel4_sys/seL4_VMFault_Msg/constant.seL4_VMFault_IP.html
seL4_VMFault_IP in sel4_sys::seL4_VMFault_Msg - Rust
API documentation for the Rust `seL4_VMFault_IP` constant in crate `sel4_sys`.
ipsysmsgrust