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