test_bit.c

#include <stdio.h>
#include "va_space.h"
#include "va_space.c"

int main()
{
/*create a page table*/
page_table table;

/*clear the table that we just created*/
pt_init(table);

/*display the table*/
pt_display(table);

/*define the page_num for the index*/
pt_index page_num = 0x8e;

/*set dirty bit*/
pt_set_dirty(table, page_num);


/*display entries*/
pt_display_entry(table, 0x8e);

/*display table one more time*/
pt_display(table);

return 0;
}