/**
 *  memory/pso.h
 *
 *  Paged space objects.
 *
 *  (c) 2026 Simon Brooke <simon@journeyman.cc>
 *  Licensed under GPL version 2.0, or, at your option, any later version.
 */

#ifndef __psse_memory_pso_h
#define __psse_memory_pso_h

#include <stdint.h>

#include "memory/header.h"
#include "memory/pointer.h"
#include "memory/pso4.h"

struct pso_pointer allocate( struct pso_pointer frame_pointer, char *tag,
                             uint8_t size_class );

struct pso_pointer dec_ref( struct pso_pointer pointer );

struct pso_pointer inc_ref( struct pso_pointer pointer );

struct pso_pointer lock_object( struct pso_pointer pointer );

struct pso_pointer free_object( struct pso_pointer p );

#ifdef DEBUG
void print_allocation_table(  );
#endif
#endif