This interface is defined in
struct bios_regs
.