kernel/arch/x86/src/vm/PDPTPool.h
/// Releases memory for the PDPT. Returns -1 if the physical address is not in the PDPT pool.
Releases memory for the PDPT. Returns -1 if the physical address is not in the PDPT pool.
Releases memory for the PDPT . Returns - 1 if the physical address is not in the PDPT pool .
static int free(const uint64_t physAddr) {
            if(!gShared->isPdptFromPool(physAddr)) {
                return -1;
            }
            gShared->freePdpt(physAddr);
            return 0;
        }
static int free ( const uint64_t physAddr ) { if ( ! gShared -> isPdptFromPool ( physAddr ) ) { return -1 ; } gShared -> freePdpt ( physAddr ) ; return 0 ; }
Releases memory for the PDPT.
Releases memory for the PDPT .