/*
* swap_pageout: write one page from physical memory into swap.
* Synchronization: none here. See swap_io().
*/
void
swap_pageout(paddr_t pa, off_t swapaddr)
{
swap_io(pa, swapaddr, UIO_WRITE);
}
void
swap_out( paddr_t source, off_t target ) {
swap_io( source, target, UIO_WRITE );
}
/*
* swap_pagein: load one page from swap into physical memory.
* Synchronization: none here. See swap_io().
*/
void
swap_pagein(paddr_t pa, off_t swapaddr)
{
swap_io(pa, swapaddr, UIO_READ);
}
void
swap_in( paddr_t target, off_t source ) {
swap_io( target, source, UIO_READ );
}