Advertisement
Guest User

Untitled

a guest
May 5th, 2015
242
0
Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
C 0.39 KB | None | 0 0
  1. /* Swaps a page in from disk */
  2. void page_swap_in(int i)
  3. {
  4.   int disk_sector = get_disk_sector(&page_map[i]);
  5.  
  6.   int block_count = SECTORS_PER_PAGE;
  7.  
  8.   if ((disk_sector + SECTORS_PER_PAGE) > (page_map[i].swap_loc + page_map[i].swap_size)) {
  9.     block_count = page_map[i].swap_size - disk_sector + page_map[i].swap_loc;
  10.   }
  11.  
  12.   scsi_read(disk_sector, block_count, (char*)get_page_address(i));
  13. }
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement