return 0;
}
-#ifdef CONFIG_SYMBIOTIC_SWAP
-static inline int is_swapped_pte32(pte32_t * pte) {
- return (*(uint32_t *)pte != 0);
-}
-#endif
PrintDebug("Access error injecting pf to guest (guest access error=%d) (pf error code=%d)\n",
guest_pte_access, *(uint_t*)&error_code);
-#ifdef CONFIG_SYMBIOTIC_SWAP_
- if (is_swapped_pg(guest_pte)) {
- PrintError("Page fault on swapped out page\n");
+#ifdef CONFIG_SYMBIOTIC_SWAP
+ if (is_swapped_pte32(guest_pte)) {
+ PrintError("Page fault on swapped out page (pte=%x)\n", *(uint32_t *)guest_pte);
if (inject_guest_pf(info, fault_addr, error_code) == -1) {
PrintError("Could not inject guest page fault\n");
return -1;
}
-
-
} else {
if (inject_guest_pf(info, fault_addr, error_code) == -1) {
PrintError("Could not inject guest page fault\n");