coreboot-kgpe-d16/util/vgabios/helper_exec.h

3 lines
52 B
C

u32 getIntVect(int num);
int run_bios_int(int num);