This interface is defined in BIOS16$REAL_INT.