DeferredScope.h

/*
 * Copyright (c) 2026, Pedigree Developers
 *
 * Permission to use, copy, modify, and distribute this software for any
 * purpose with or without fee is hereby granted.
 */
 
#ifndef PEDIGREE_KERNEL_PROCESS_DEFERREDSCOPE_H
#define PEDIGREE_KERNEL_PROCESS_DEFERREDSCOPE_H
#include "pedigree/kernel/processor/types.h"
 
#include <config.h>
 
struct DeferredScopeRecord {
  using Cleanup = void (*)(void*);
 
  DeferredScopeRecord()
      : next(nullptr),
        stateLevel(0),
        sequence(0),
        defersTermination(false),
        defersEvents(false),
        cleanup(nullptr),
        context(nullptr),
        armed(false) {}
 
  DeferredScopeRecord* next;
  size_t stateLevel;
  size_t sequence;
  bool defersTermination;
  bool defersEvents;
  Cleanup cleanup;
  void* context;
  bool armed;
 
 private:
  friend class TerminationDeferral;
  struct Uninitialised {};
  // Pure deferral construction fills every field before publishing the record.
  explicit DeferredScopeRecord(Uninitialised) {}
};
 
#endif