servers/vm/phys_region.h

   1 #ifndef PHYS_REGION_H
   2 #define PHYS_REGION_H 1
   3
   4 #include <stddef.h>
   5
   6 #include "memtype.h"
   7
   8 typedef struct phys_region {
   9         struct phys_block       *ph;
  10         struct vir_region       *parent; /* vir_region or NULL if yielded */
  11         vir_bytes               offset; /* offset from start of vir region */
  12 #if SANITYCHECKS
  13         int                     written;        /* written to pagetable */
  14 #endif
  15
  16         mem_type_t              *memtype;
  17
  18         /* list of phys_regions that reference the same phys_block */
  19         struct phys_region      *next_ph_list;
  20 } phys_region_t;
  21
  22 #endif