Implementation of setfault
Cosmetic changes for register names in cpu_switchto