Fix vga-overlay so that it doesn't cause disasters when it does an immediate-flush...

[netwatch.git] / grubload / loader.h

int load_elf (char * buf, int size) ;