nkmtest: make arm version compile and only check fault type on x86
authorSimon Gerber <simon.gerber@inf.ethz.ch>
Tue, 4 Oct 2016 07:37:48 +0000 (09:37 +0200)
committerSimon Gerber <simon.gerber@inf.ethz.ch>
Tue, 4 Oct 2016 07:37:55 +0000 (09:37 +0200)
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>

include/arch/arm/barrelfish/pmap_arch.h
usr/tests/nkm/modify_flags.c

index 1e168f7..13ff712 100644 (file)
 
 #include <target/arm/barrelfish/pmap_target.h>
 
+struct pmap_dump_info {
+    size_t l1index, l2index;
+    vregion_flags_t flags;
+    struct capref cap;
+    genvaddr_t offset;
+};
+#define PRIfmtPTIDX "%zd.%zd"
+#define GET_PTIDX(dump_info) (dump_info)->l1index, (dump_info)->l2index
+
+
 #define ARCH_DEFAULT_PMAP_SIZE sizeof(struct pmap_arm)
 
 errval_t pmap_init(struct pmap *p, struct vspace *v, struct capref vnode,
index b51b047..c1b3891 100644 (file)
@@ -35,7 +35,9 @@ static void handler(enum exception_type type, int subtype, void *addr,
     DEBUG_MODIFY_FLAGS("got exception %d(%d) on %p [%d]\n", type, subtype, addr, count);
     errval_t err;
     assert(type == EXCEPT_PAGEFAULT);
+#ifdef __x86__
     assert(subtype == PAGEFLT_WRITE);
+#endif
     assert(addr >= vbase && addr < vend);
     DEBUG_MODIFY_FLAGS("got expected write pagefault on %p\n", addr);
     // unprotect 4k page