dope-sys 0.38.0

Typed operating-system call contracts
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20

use crate::{
    engine::admit::Context,
    io::{file, request},
};

type Borrowed<'a, C> = request::Borrowed<'a, <<<C as Context>::Native as request::Source<
    <C as Context>::Inputs,
>>::Raw as request::Lower>::Target>;
type File<'a, C> = <<C as Context>::Native as file::File>::Request<'a>;

/// Consumes the exact native requests whose pointees remain owned by the host.
pub trait Retain<C: Context>: Sized {
    /// # Safety
    /// Every encoded address remains live through terminal completion or quiescence.
    unsafe fn retain(self, request: Borrowed<'_, C>, key: C::Key);

    /// # Safety
    /// Every file request borrow remains live through terminal completion or quiescence.
    unsafe fn file(self, request: File<'_, C>, key: C::Key);
}