Return to dev_pager.h CVS log

Up to [GnuMach] / Gnu-Mach / device

Annotation of Gnu-Mach/device/dev_pager.h, revision 1.1

1.1     ! root        1: /*
        !             2:  * Copyright (c) 2013 Free Software Foundation.
        !             3:  *
        !             4:  * This program is free software; you can redistribute it and/or modify
        !             5:  * it under the terms of the GNU General Public License as published by
        !             6:  * the Free Software Foundation; either version 2 of the License, or
        !             7:  * (at your option) any later version.
        !             8:  *
        !             9:  * This program is distributed in the hope that it will be useful,
        !            10:  * but WITHOUT ANY WARRANTY; without even the implied warranty of
        !            11:  * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
        !            12:  * GNU General Public License for more details.
        !            13:  *
        !            14:  * You should have received a copy of the GNU General Public License along
        !            15:  * with this program; if not, write to the Free Software Foundation, Inc.,
        !            16:  * 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301 USA.
        !            17:  */
        !            18: 
        !            19: #ifndef _DEVICE_DEV_PAGER_H_
        !            20: #define _DEVICE_DEV_PAGER_H_
        !            21: 
        !            22: vm_offset_t device_map_page(void *dsp, vm_offset_t offset);
        !            23: 
        !            24: boolean_t device_pager_data_request_done(io_req_t ior);
        !            25: 
        !            26: boolean_t device_pager_data_write_done(io_req_t ior);
        !            27: 
        !            28: #endif /* _DEVICE_DEV_PAGER_H_ */

This archive runs on limited infrastructure. Preserving old code on modern bandwidth. Automated agents are requested to crawl responsibly.