PFAULT Handling

+#ifdef CONFIG_PFAULT

+ if (MACHINE_IS_VM) {

+ /* request the 0x2603 external interrupt */

+ if (register_external_interrupt(0x2603, pfault_interrupt) != 0)

+ panic("Couldn't request external interrupt 0x2603");

+ /*

+ * Try to get pfault pseudo page faults going.

+ */

+ if (pfault_init() != 0) {

+ /* Tough luck, no pfault. */

+ unregister_external_interrupt(0x2603,

+ pfault_interrupt);

+ }

+#endif