Skip to content
Snippets Groups Projects
Select Git revision
  • cbab7cc560e56491bcd64cd2fb7fd84a4876227d
  • master default protected
  • 0.19.X
  • discrete
  • 0.18.X
  • ignore_lambda_to_diff_errors
  • 0.17.X
  • authors-update
  • 0.16.X
  • 0.15.X
  • 0.14.X
  • debian
  • 0.13.X
  • 0.12.X
  • 0.11.X
  • 0.10.X
  • 0.9.X
  • 0.6.X
  • 0.7.X
  • 0.8.X
  • 0.19.1
  • 0.19.0
  • 0.19b2
  • 0.19b1
  • 0.19-branching
  • 0.18.2
  • 0.18.1
  • 0.18
  • 0.18rc2
  • 0.18rc1
  • 0.18rc
  • 0.17.1-1
  • 0.17.1
  • debian/0.17.0-4
  • debian/0.17.0-3
  • debian/0.17.0-1
  • 0.17
  • debian/0.17.0_b1+git14-g4e6829c-1
  • debian/0.17.0_b1-1
  • 0.17b1
40 results

Makefile

Blame
  • pagedir.h 685 B
    #ifndef USERPROG_PAGEDIR_H
    #define USERPROG_PAGEDIR_H
    
    #include <stdbool.h>
    #include <stdint.h>
    
    uint32_t *pagedir_create (void);
    void pagedir_destroy (uint32_t *pd);
    bool pagedir_set_page (uint32_t *pd, void *upage, void *kpage, bool rw);
    void *pagedir_get_page (uint32_t *pd, const void *upage);
    void pagedir_clear_page (uint32_t *pd, void *upage);
    bool pagedir_is_dirty (uint32_t *pd, const void *upage);
    void pagedir_set_dirty (uint32_t *pd, const void *upage, bool dirty);
    bool pagedir_is_accessed (uint32_t *pd, const void *upage);
    void pagedir_set_accessed (uint32_t *pd, const void *upage, bool accessed);
    void pagedir_activate (uint32_t *pd);
    
    #endif /* userprog/pagedir.h */