diff options
| author | Joan Lledó <jlledom@member.fsf.org> | 2021-08-28 12:02:51 +0200 |
|---|---|---|
| committer | Samuel Thibault <samuel.thibault@ens-lyon.org> | 2021-08-28 14:03:18 +0200 |
| commit | 0ce05d0e8edff26d8847a5acd790069f7603f7dc (patch) | |
| tree | 6faa979bcee09676b324cf30c46b92ac0d4fa337 /linux/dev | |
| parent | b1f537b5e058512a263036b74d3b755301adaf96 (diff) | |
| download | gnumach-0ce05d0e8edff26d8847a5acd790069f7603f7dc.tar.gz gnumach-0ce05d0e8edff26d8847a5acd790069f7603f7dc.tar.bz2 gnumach-0ce05d0e8edff26d8847a5acd790069f7603f7dc.zip | |
dev_pager: implement offset
* device/dev_pager.c:
* struct dev_pager: add offset field
* new struct dev_device_entry: includes device and offset
* new hash table dev_device_hashtable
* index [device + offset]
* new functions dev_device_hash[init,insert,delete,lookup]
* do the same as their counterparts for
dev_pager_hashtable
* dev_pager_setup(): record the offset
* device_map_page(): add the recorded offset on the fly
Message-Id: <20210828100252.18376-2-jlledom@mailfence.com>
Diffstat (limited to 'linux/dev')
0 files changed, 0 insertions, 0 deletions