Function wave_alloc_linmem

src/tcb/sbox_mem.rs:225–239

()

#[trusted]
#[ensures(valid_linmem(result))]
fn wave_alloc_linmem() -> usize {
    let linmem_ptr = mmap(
        0,                                      // let the kernel place the region anywhere
        EIGHT_GB,                               // Linmem + guard page = 8GB
        bitwise_or(PROT_READ, PROT_WRITE),      // its read/write
        bitwise_or(MAP_PRIVATE, MAP_ANONYMOUS), // should not be shared or backed-up to a file
        -1, // no file descrptor since we aren't backing to a file
        0,  // this arg doesn't matter since we aren't backing to a file
    );
    // let x: [u8; 4] = [0,1,2,3];
    // assert!( cool_ptr((&x).as_ptr()) );
    mprotect(linmem_ptr + FOUR_GB, FOUR_GB, PROT_NONE); // Make second 4GB of linear memory a guard page
    memset(linmem_ptr, 0, FOUR_GB); // memzero
    linmem_ptr
}