Searched defs:instr_len (Results 1 - 2 of 2) sorted by relevance

/seL4-camkes-master/projects/seL4_projects_libs/libsel4vmmplatsupport/src/sel4_arch/aarch64/
H A Dsysreg_exception.h42 uint32_t instr_len: 1; member in struct:sysreg::sysreg_params
/seL4-camkes-master/projects/seL4_projects_libs/libsel4vm/src/arch/x86/processor/
H A Ddecode.c65 size_t instr_len; member in struct:decode_op
193 static void debug_print_instruction(uint8_t *instr, int instr_len) argument
204 int vm_decode_instruction(uint8_t *instr, int instr_len, int *reg, uint32_t *imm, int *op_len) argument
251 int instr_len = vm_guest_exit_get_int_len(vcpu->vcpu_arch.guest_state); local
[all...]

Completed in 39 milliseconds