Searched refs:stack_header (Results 1 - 2 of 2) sorted by relevance

/barrelfish-master/usr/eclipseclp/Kernel/src/
H A Dmem.h74 typedef struct stack_header { struct
75 struct stack_header *down, /* previous segment */
82 extern void stack_create ARGS((struct stack_header **pstack, uword words_needed));
83 extern void stack_pop_to ARGS((struct stack_header **pstack, uword *old_top));
84 extern void stack_push ARGS((struct stack_header **pstack, uword words_needed));
85 extern void stack_pop ARGS((struct stack_header **pstack, uword word_offset));
86 extern void stack_destroy ARGS((struct stack_header **pstack));
H A Dmem.c553 static struct stack_header *
554 _stack_init(struct stack_header *down, struct stack_header *up, uword words_needed)
556 struct stack_header *stack;
559 stack = (struct stack_header *) alloc_pagewise(&private_heap,
560 words_needed*sizeof(uword) + sizeof(struct stack_header),
570 stack_create(struct stack_header **pstack, uword words_needed)
573 _stack_init((struct stack_header *)0, (struct stack_header *)0, words_needed);
577 stack_empty(struct stack_header **pstac
[all...]

Completed in 34 milliseconds