Searched refs:prefix16 (Results 1 – 1 of 1) sorted by relevance
553 uint32_t prefix16 = 0x80B90F67; /* Encoding prefix for ud1 <16-bit code>(%eax), %eax */ in handle_kernel_breakpoint() local562 if (bcmp(inst_buf, &prefix16, sizeof(prefix16)) == 0) { in handle_kernel_breakpoint()