diff options
author | Aaron Durbin <adurbin@chromium.org> | 2016-12-03 21:05:53 -0600 |
---|---|---|
committer | Aaron Durbin <adurbin@chromium.org> | 2016-12-08 16:09:59 +0100 |
commit | 30c64be4ce1c3082c0dc0399ce0a5418698ad0cc (patch) | |
tree | 68c2460a5c99a9d7957f8da60cf57f601e9011b4 /src/lib/hw-time-timer.adb | |
parent | 7c6951b059b9a7c36486a73f656ad8a88f648626 (diff) |
lib/compute_ip_checksum: mark data buffer as const
compute_ip_checksum() doesn't manipulate the data it is passed.
Therefore, mark it as const.
BUG=chrome-os-partner:56151
Change-Id: I54cff9695a886bacd6314aa441d96aaa7a991101
Signed-off-by: Aaron Durbin <adurbin@chromium.org>
Reviewed-on: https://review.coreboot.org/17714
Tested-by: build bot (Jenkins)
Reviewed-by: Duncan Laurie <dlaurie@chromium.org>
Reviewed-by: Furquan Shaikh <furquan@google.com>
Reviewed-by: Paul Menzel <paulepanter@users.sourceforge.net>
Diffstat (limited to 'src/lib/hw-time-timer.adb')
0 files changed, 0 insertions, 0 deletions