example/nested_paging/page_pool_t.hpp
constexpr void
        deallocate(void *const ptr) noexcept
        {
            lock_guard lock{m_pool_lock};

            if (bsl::unlikely(nullptr == ptr)) {
                return;
            }

            if (bsl::to_umx(ptr) < bsl::to_umx(HYPERVISOR_EXT_PAGE_POOL_ADDR)) {
                bsl::error() << "invalid ptr"    // --
                             << ptr              // --
                             << bsl::endl        // --
                             << bsl::here();

                return;
            }

            *static_cast<void **>(ptr) = m_head;
            m_head = ptr;
        }
/// <!-- description -->
///   @brief Returns a page previously allocated using the allocate
///     function to the page pool.
///
/// <!-- inputs/outputs -->
///   @param ptr the pointer to the page to deallocate
///

@brief Returns a page previously allocated using the allocate
function to the page pool.


@param ptr the pointer to the page to deallocate
@brief Returns a page previously allocated using the allocate function to the page pool . @param ptr the pointer to the page to deallocate
constexpr void
        deallocate(void *const ptr) noexcept
        {
            lock_guard lock{m_pool_lock};
            if (bsl::unlikely(nullptr == ptr)) {
                return;
            }
            if (bsl::to_umx(ptr) < bsl::to_umx(HYPERVISOR_EXT_PAGE_POOL_ADDR)) {
                bsl::error() << "invalid ptr"    
                             << ptr              
                             << bsl::endl        
                             << bsl::here();
                return;
            }
            *static_cast<void **>(ptr) = m_head;
            m_head = ptr;
        }
constexpr void deallocate ( void * const ptr ) noexcept { lock_guard lock { m_pool_lock } ; if ( bsl :: unlikely ( nullptr == ptr ) ) { return ; } if ( bsl :: to_umx ( ptr ) < bsl :: to_umx ( HYPERVISOR_EXT_PAGE_POOL_ADDR ) ) { bsl :: error ( ) << " " << ptr << bsl :: endl << bsl :: here ( ) ; return ; } * static_cast < void * * > ( ptr ) = m_head ; m_head = ptr ; }
<!-- description -->
@brief Returns a page previously allocated using the allocate
function to the page pool.
<! -- description -- > @brief Returns a page previously allocated using the allocate function to the page pool .
// -- // -- // --