efi/boot: make file->ptr const void*
authorTrammell Hudson <hudson@trmm.net>
Mon, 21 Sep 2020 10:14:24 +0000 (12:14 +0200)
committerJan Beulich <jbeulich@suse.com>
Mon, 21 Sep 2020 10:14:24 +0000 (12:14 +0200)
commitc7e3021a71fdb4f2d5dbad90ba83ce35bc21cda6
tree8b3c562b092e67f68569d8621ca026baa60ee470
parent5164e44885252ae909977dd3b39c743544f3f5f0
efi/boot: make file->ptr const void*

Other than the config file parser that edits the image inplace,
no other users of the file sections requires write access to the
data.

Signed-off-by: Trammell Hudson <hudson@trmm.net>
Reviewed-by: Jan Beulich <jbeulich@suse.com>
xen/common/efi/boot.c