das ist ja richtig.
aber für einen doublefault hast du ja möglicherweise in der idt ein interrupt gate, das code aufruft, der dich nicht erkennen lässt, dass ein doublefault ausgelöst wurde.
also könnte es sein, dass der double fault 18,2 mal pro sekunde aufgerufen wird, aber du nichts davon mitbekommst.