The issues are similar to those surrounding int2F_12_hanndler( ) (see https://github.com/FDOS/kernel/issues/11).