Add ifdtool, utility to read / modify Intel Firmware Descriptor images
[coreboot.git] / util / vgabios / helper_exec.h
1 u32 getIntVect(int num);
2 int run_bios_int(int num);