halt
void* halt = bios_allocate_mem(state, 1);
if (halt == NULL)
*(uint8*)halt = 0xF4;
M.x86.R_EIP = bios_physical_address(state, halt);
void halt(void);
void halt(void);
newstate->halt = 1;
newstate->halt = 1;
unsigned int halt : 1;
if (BE (cur_state->halt, 0))
if (cur_state->halt)
assert (state->halt);
|| !mctx->state_log[match_last]->halt);