An SVC routine can be restarted after a page fault, provided that the routine does not hold a disabled lock.