L4Re/departure

libexec/include/exec/pager.h

572:f1fa7ed87b6e
13 months ago Paul Boddie Added missing include statements.
     1 /*     2  * Common system pager functionality.     3  *     4  * Copyright (C) 2022, 2023 Paul Boddie <paul@boddie.org.uk>     5  *     6  * This program is free software; you can redistribute it and/or     7  * modify it under the terms of the GNU General Public License as     8  * published by the Free Software Foundation; either version 2 of     9  * the License, or (at your option) any later version.    10  *    11  * This program is distributed in the hope that it will be useful,    12  * but WITHOUT ANY WARRANTY; without even the implied warranty of    13  * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the    14  * GNU General Public License for more details.    15  *    16  * You should have received a copy of the GNU General Public License    17  * along with this program; if not, write to the Free Software    18  * Foundation, Inc., 51 Franklin Street, Fifth Floor,    19  * Boston, MA  02110-1301, USA    20  */    21     22 #pragma once    23     24 #include <l4/sys/utcb.h>    25     26 #include <exec/memory_area.h>    27     28     29     30 /* A simple system pager also acting as a region mapper. */    31     32 class ExecPager    33 {    34 protected:    35     36   /* Top-level area containing other areas and regions. */    37     38   AvailableMemoryArea _area;    39     40   /* Region manager/mapper functionality. */    41     42   virtual long find(address_t *start, address_t *size, map_flags_t flags,    43                     unsigned char align, MemoryArea **area);    44     45 public:    46   explicit ExecPager(address_t start = 0, address_t end = 0);    47     48   virtual ~ExecPager();    49     50   /* Region management methods. */    51     52   virtual void add(MemoryArea &area);    53     54   virtual void remove(MemoryArea &area);    55     56   /* Notification methods. */    57     58   virtual long exception(l4_exc_regs_t regs,    59                          l4_snd_fpage_t *region) = 0;    60     61   virtual long page_fault(l4_umword_t pfa, l4_umword_t pc,    62                           l4_snd_fpage_t *region) = 0;    63 };    64     65 /* vim: tabstop=2 expandtab shiftwidth=2    66 */