Skip to main content
Module pid
detcore_
model
0.5.4
Module pid
Module Items
Structs
Enums
Type Aliases
In crate detcore_
model
detcore_model
Module
pid
Copy item path
Source
Structs
§
DetPid
Deterministic “virtual” version of
reverie::Pid
Enums
§
Guest
Ids
How the guest’s process and thread IDs are numbered (
Config::guest_ids
).
Type Aliases
§
DetTid
Deterministic “virtual” version of
reverie::Tid