added new paging stucture macros to mmu.h