Add guard to double fault. Change processor name