servers/vm/i386/arch_pagefaults.c

   1
   2 #define _SYSTEM 1
   3
   4 #include <minix/callnr.h>
   5 #include <minix/com.h>
   6 #include <minix/config.h>
   7 #include <minix/const.h>
   8 #include <minix/ds.h>
   9 #include <minix/endpoint.h>
  10 #include <minix/keymap.h>
  11 #include <minix/minlib.h>
  12 #include <minix/type.h>
  13 #include <minix/ipc.h>
  14 #include <minix/sysutil.h>
  15 #include <minix/syslib.h>
  16 #include <minix/safecopies.h>
  17 #include <minix/bitmap.h>
  18
  19 #include <errno.h>
  20 #include <string.h>
  21 #include <env.h>
  22 #include <stdio.h>
  23 #include <fcntl.h>
  24
  25 #include "../glo.h"
  26 #include "../proto.h"
  27 #include "../util.h"
  28
  29 /*===========================================================================*
  30  *                              arch_handle_pagefaults                       *
  31  *===========================================================================*/
  32 PUBLIC int arch_get_pagefault(who, addr, err)
  33 endpoint_t *who;
  34 vir_bytes *addr;
  35 u32_t *err;
  36 {
  37         return sys_vmctl_get_pagefault_i386(who, addr, err);
  38 }
  39