Function SetPageFlags

Kernel/include/arch/x86_64/paging.h:128–130

    }

    inline void SetPageFlags(uint64_t* page, uint64_t flags){
        *page |= flags;
    }

    inline uint32_t GetPageFrame(uint64_t p) {
	    return (p & PAGE_FRAME) >> 12;