oops, one URL fix was missing. Add new DirectHW URL
[coreboot.git] / util / vgabios / helper_exec.h
1 u32 getIntVect(int num);
2 int run_bios_int(int num);