Function write_shadow_map_for 

pub fn write_shadow_map_for(addr: VirtualAddress, val: i8)

Available on crate feature full only.

Write val to the shadow map for addr.

See the module level documentation for information on the meaning of values that can be written.

Panics

If addr is not covered by the shadow map (i.e. userspace addresses).