Handle page faults even if GDB is enabled. Also, add a return value in the PF handler to be able to differentiate between valid and invalid page faults.
Handle page faults even if GDB is enabled.
Also, add a return value in the PF handler to be able to differentiate
between valid and invalid page faults.


git-svn-id: 0e1153e6534495dc57987e8ae99aae841c146be6@1032 1f819a86-672b-0410-b5ed-9de735de380c

chaos4ever/stormG3,chaos4ever/stormG3,chaos4ever/stormG3,chaos4ever/stormG3