MAX_ENCODABLE_SIZE
size_t check_len = min_t(size_t, count, MAX_ENCODABLE_SIZE);
size_t check_len = min_t(size_t, len, MAX_ENCODABLE_SIZE);
size_t check_len = min_t(size_t, len, MAX_ENCODABLE_SIZE);
#define WATCHPOINT_SIZE_BITS bits_per(MAX_ENCODABLE_SIZE)
return addr >= PAGE_SIZE && size <= MAX_ENCODABLE_SIZE;
size_t size = get_random_u32_inclusive(1, MAX_ENCODABLE_SIZE);