Displaying 1 result from an estimated 1 matches for "xen_flush_queue".
2005 Apr 30
4
[PATCH] disable writable pagetables on FreeBSD
...\
         PMAP_REF((_ptp), xpmap_ptom(_npte));                    \
-       xen_queue_pt_update((pt_entry_t *)vtomach(_ptp),        \
+       xen_queue_pt_update(vtomach(_ptp),                      \
                            xpmap_ptom(_npte));                 \
        if (sync || ALWAYS_SYNC) xen_flush_queue();             \
 } while (/*CONSTCOND*/0)
 #define PT_SET_VA_MA(_ptp,_npte,sync) do {                     \
         PMAP_REF((_ptp), (_npte));                              \
-       xen_queue_pt_update((pt_entry_t *)vtomach(_ptp), _npte);\
+       xen_queue_pt_update(vtomach(_ptp), _npte);...