Changes in abi/include/abi/mm/as.h [a35b458:eadaeae8] in mainline

File:

• abi/include/abi/mm/as.h (modified) (2 diffs)

abi/include/abi/mm/as.h

@@ -36 +36 @@
 #define ABI_AS_H_
 
+#include <abi/cap.h>
+
 /** Address space area flags. */
 #define AS_AREA_READ         0x01
@@ -62 +64 @@
 
 typedef struct {
-        int pager;
+        cap_phone_handle_t pager;
         sysarg_t id1;
         sysarg_t id2;