Skip to main content

HTOD_DIET_AVOIDED

memra_engine

Static HTOD_DIET_AVOIDED 

Source 
pub static HTOD_DIET_AVOIDED: AtomicU64
Expand description

HtoD calls avoided by door H (MEMRA_HTOD_DIET): the count receipt. A gate asserts it tracks the layer-call count on the ON arm and stays flat on the OFF arm.