Searched refs:INT3_opcode (Results 1 – 1 of 1) sorted by relevance
446 unsigned char INT3_opcode = 0xCC; in wait() local452 write_child (INT3_addr, &INT3_opcode, 1); in wait()