| 151 | /// input is undefined. |
| 152 | /// |
| 153 | extern "C" void |
| 154 | fail_entry(bsl::safe_u64::value_type const errc, bsl::safe_u64::value_type const addr) noexcept |
| 155 | { |
| 156 | bsl::error() << "fail entry called with errc " // -- |
| 157 | << bsl::hex(errc) // -- |
| 158 | << " and addr " // -- |
| 159 | << bsl::hex(addr) // -- |
| 160 | << bsl::endl; // -- |
| 161 | |
| 162 | bsl::expects(g_mut_sys.bf_vs_op_advance_ip_and_run_current()); |
| 163 | } |
| 164 | |
| 165 | /// <!-- description --> |
| 166 | /// @brief Implements the VMExit entry function. This is registered |
nothing calls this directly
no test coverage detected