pagetable.h File Reference

---

Detailed Description

Author:

Christian Biere

Date:

2007

#include "common.h"

Go to the source code of this file.

Typedefs
typedef page_table	page_table_t
typedef void(*	page_table_foreach_func )(void *p, size_t size, void *data)
Functions
page_table_t *	page_table_new (void)
void	page_table_destroy (page_table_t *ht)
int	page_table_insert (page_table_t *ht, void *p, size_t size)
size_t	page_table_lookup (page_table_t *ht, void *p)
int	page_table_remove (page_table_t *ht, void *p)
void	page_table_foreach (page_table_t *ht, page_table_foreach_func func, void *data)

---

Typedef Documentation

typedef void(* page_table_foreach_func)(void *p, size_t size, void *data)

typedef struct page_table page_table_t

---

Function Documentation

void page_table_destroy (  page_table_t *  ht  )

void page_table_foreach (  page_table_t *  ht, page_table_foreach_func  func, void *  data )

int page_table_insert (  page_table_t *  ht, void *  p, size_t  size )

size_t page_table_lookup (  page_table_t *  ht, void *  p )

page_table_t* page_table_new (  void   )

int page_table_remove (  page_table_t *  ht, void *  p )

---