When an intel processor recieves an interrupt, it looks for an interrupt table. When in protected mode, this table is an array defined by its base and length. If an interrupt which index is outside the length of the array occurs, a special double fault interrupt occurs. If this interrupt is still outside length (The length may be 0), the machine reboots. This is a fairly quick and fairly clean way of doing a warm-boot.