This interface is defined in
BIOS16$REAL_INT
.