einj_instruction
einj_read_register(struct einj_instruction *inst)
einj_write_register(struct einj_instruction *inst, uint64_t value)
einj_execute_instruction(struct einj_instruction *inst, uint64_t value)
einj_execute_instructions(struct einj_instruction *inst, u_int count,
struct einj_instruction ei;
struct einj_instruction *instructions;
struct einj_instruction *ei;
struct einj_instruction *ei;
printf("\tInstruction=%s\n", einj_instruction(w->Instruction));