headers/private/kernel/heap.h

99

void deferred_delete(DeferredDeletable* deletable);

src/system/kernel/arch/arm/paging/32bit/ARMPagingStructures32Bit.cpp

111

deferred_delete(this);

src/system/kernel/arch/m68k/paging/040/M68KPagingStructures040.cpp

112

deferred_delete(this);

src/system/kernel/arch/ppc/paging/460/PPCPagingStructures460.cpp

118

deferred_delete(this);

src/system/kernel/arch/ppc/paging/classic/PPCPagingStructuresClassic.cpp

118

deferred_delete(this);

src/system/kernel/arch/x86/paging/32bit/X86PagingStructures32Bit.cpp

111

deferred_delete(this);

src/system/kernel/arch/x86/paging/64bit/X86PagingStructures64Bit.cpp

48

deferred_delete(this);

src/system/kernel/arch/x86/paging/pae/X86PagingStructuresPAE.cpp

65

deferred_delete(this);

src/system/kernel/signal.cpp

352

deferred_delete(this);

src/system/kernel/util/KernelReferenceable.cpp

18

deferred_delete(this);