This interface is defined in struct bios_regs.