__VIRTUAL_MASK
#define kc_vaddr_to_offset(v) ((v) & __VIRTUAL_MASK)
#define kc_offset_to_vaddr(o) ((o) | ~__VIRTUAL_MASK)
if (*addr >= ~__VIRTUAL_MASK)
if (*addr + insn.opnd_bytes - 1 > __VIRTUAL_MASK)