Home
last modified time | relevance | path

Searched refs:kill_switch_before_guest_termination (Results 1 – 2 of 2) sorted by relevance

/dports/sysutils/vector/lucet-d4fc14a03bdb99ac83173d27fddf1aca48412a86/lucet-runtime/lucet-runtime-internals/src/
H A Dlock_testpoints.rs113 pub kill_switch_before_guest_termination: Syncpoint, field
144 kill_switch_before_guest_termination: Syncpoint::new(), in new()
/dports/sysutils/vector/lucet-d4fc14a03bdb99ac83173d27fddf1aca48412a86/lucet-runtime/lucet-runtime-internals/src/instance/
H A Dexecution.rs622 .kill_switch_before_guest_termination in terminate()