File: mpk-available.rs

package info (click to toggle)
rust-wasmtime 26.0.1%2Bdfsg-4
  • links: PTS, VCS
  • area: main
  • in suites: forky
  • size: 48,504 kB
  • sloc: ansic: 4,003; sh: 561; javascript: 542; cpp: 254; asm: 175; ml: 96; makefile: 55
file content (16 lines) | stat: -rw-r--r-- 446 bytes parent folder | download | duplicates (3) 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
 
//! This example checks if memory protection keys (MPK) are available on the
//! current system using the
//! [`PoolingAllocationConfig::are_memory_protection_keys_available`] API.

use std::process::exit;
use wasmtime::*;

fn main() {
    if PoolingAllocationConfig::are_memory_protection_keys_available() {
        eprintln!("MPK is available");
        exit(0);
    } else {
        eprintln!("MPK is not available");
        exit(1);
    }
}