File: mpk-available.rs

package info (click to toggle)
rust-wasmtime 28.0.1%2Bdfsg-2
  • links: PTS, VCS
  • area: main
  • in suites:
  • size: 54,116 kB
  • sloc: ansic: 4,071; sh: 567; javascript: 548; cpp: 280; asm: 175; ml: 96; makefile: 55
file content (16 lines) | stat: -rw-r--r-- 446 bytes parent folder | download | duplicates (6) 
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);
    }
}