Unwind device residency. Idempotent-adjacent: caller checks
device_mapped (mirrors rdb_handle’s ocean_handle_t).
| Type | Intent | Optional | Attributes | Name | ||
|---|---|---|---|---|---|---|
| type(ocean_engine_t), | intent(inout) | :: | engine |
subroutine engine_exit_data(engine) !! Unwind device residency. Idempotent-adjacent: caller checks !! `device_mapped` (mirrors `rdb_handle`'s `ocean_handle_t`). type(ocean_engine_t), intent(inout) :: engine call ocean_state_exit_data(engine%state) call ice_ocean_stress_cleanup() engine%device_mapped = .false. end subroutine engine_exit_data