var group__ENCHLPATCH =
[
    [ "xed_patch_brdisp", "group__ENCHLPATCH.html#ga5af27d14d3e818689fc0a050e40119d9", null ],
    [ "xed_patch_disp", "group__ENCHLPATCH.html#gaf32817a117fdcb36ab6ba2962a89c069", null ],
    [ "xed_patch_imm0", "group__ENCHLPATCH.html#ga12f47e7d7f9998e9d8fd0d750aba54f4", null ]
];