1 /* 2 * A system pager implementation residing in a separate task. 3 * 4 * Copyright (C) 2022 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 <map> 25 26 #include <exec/mapped_region.h> 27 #include <exec/pager.h> 28 29 30 31 /* Collection types. */ 32 33 typedef std::map<l4_addr_t, MappedRegion> MappedRegions; 34 35 36 37 /* A simple system pager also acting as a region mapper. */ 38 39 class ExternalPager : public ExecPager 40 { 41 protected: 42 MappedRegions _regions; 43 44 public: 45 virtual void add(MappedRegion ®ion); 46 47 /* Notification methods, implementing PagerObject. */ 48 49 virtual long exception(l4_exc_regs_t regs, 50 l4_snd_fpage_t *region); 51 52 virtual long page_fault(l4_umword_t pfa, l4_umword_t pc, 53 l4_snd_fpage_t *region); 54 55 /* Region manager/mapper methods. */ 56 57 virtual long attach(address_t *start, offset_t size, map_flags_t flags, 58 l4_cap_idx_t ds, address_t offset, unsigned char align); 59 60 }; 61 62 /* vim: tabstop=2 expandtab shiftwidth=2 63 */