Your search +path:grub-core +path:script +path:libgrubmods_a-function did not match any files.
Suggestions: