check_buffer
if (!check_buffer(alloc, buffer, buffer_offset, bytes))
if (!check_buffer(alloc, buffer, buffer_offset, bytes))
check_buffer(k_ctx.k_data, 'X',
check_buffer(k_ctx.k_data + off,
check_buffer(cpu_buffer, info, CHECK_FULL_PAGE);
check_buffer(cpu_buffer, info, tail);