Add WithMRs variants for the remaining seL4 IPC syscalls#331

dlom wants to merge 1 commit into

seL4:mainseL4/rust-sel4:mainfrom

dlom:mold/add-remaining-withmrs-variantsdlom/rust-sel4:mold/add-remaining-withmrs-variantsCopy head branch name to clipboard