mirror of
https://git.savannah.gnu.org/git/grub.git
synced 2026-10-23 23:59:22 +00:00
to decrease size and avoid aliasing violations. * include/grub/list.h (grub_list_push): Move to ... * grub-core/kern/list.c (grub_list_push): ... here. Don't inline. * include/grub/list.h (grub_list_remove): Move to ... * grub-core/kern/list.c (grub_list_remove): ... here. Don't inline.