Skip to content
Sentinel Stack Knowledge Portal

vmi_memslot

vmi_memslot

Section titled “vmi_memslot”

#include <sentinel_vmi.h>

Public Attributes

Section titled “Public Attributes”
Name
uint64_tguest_phys_addr
uint64_tmemory_size
void *userspace_addr
uint32_tslot
uint32_tflags

Public Attributes Documentation

Section titled “Public Attributes Documentation”

variable guest_phys_addr

Section titled “variable guest_phys_addr”
uint64_t guest_phys_addr;

variable memory_size

Section titled “variable memory_size”
uint64_t memory_size;

variable userspace_addr

Section titled “variable userspace_addr”
void * userspace_addr;

variable slot

Section titled “variable slot”
uint32_t slot;

variable flags

Section titled “variable flags”
uint32_t flags;

Updated on 2026-05-26 at 13:25:29 +0000