openblt

a hobby OS from the late 90s
git clone http://frotz.net/git/openblt.git
Log | Files | Refs | LICENSE

pager.h (510B)

      1 /* $Id: //depot/blt/kernel/pager.h#2 $
      2 **
      3 ** Copyright 1998-2000, Sidney Cammeresi.  All rights reserved.
      4 ** Distributed under the terms of the OpenBLT License
      5 */
      6 
      7 #ifndef _PAGER_H_
      8 #define _PAGER_H_
      9 
     10 #include "i386.h"
     11 
     12 struct __pager_fault_t
     13 {
     14 	unsigned int op, vaddr, eip;
     15 	task_t *task;
     16 };
     17 
     18 extern int pager_port_no, pager_sem_no;
     19 extern task_t *pager_task;
     20 extern sem_t *pager_sem;
     21 
     22 void pager (void);
     23 void page_fault (uint32 number, regs r, uint32 error, uint32 eip, uint32 cs,
     24 		uint32 eflags);
     25 
     26 #endif
     27