|
uBPF
|
Descriptor for an external region known to the safe execution profile. More...
#include <ubpf.h>
Data Fields | |
| uint32_t | id |
| void * | base |
| uint64_t | size |
| enum ubpf_safe_region_kind | kind |
| uint32_t | permissions |
Descriptor for an external region known to the safe execution profile.
Safe-mode pointers carry a specific region identity, bounds, and permissions. Regions registered through this descriptor provide the metadata needed to classify helper returns and relocated addresses.
| void* ubpf_safe_region::base |
| uint32_t ubpf_safe_region::id |
| enum ubpf_safe_region_kind ubpf_safe_region::kind |
| uint32_t ubpf_safe_region::permissions |
| uint64_t ubpf_safe_region::size |