From 069009f8e39238ec1a67fba6cfb287b9a0cac83e Mon Sep 17 00:00:00 2001 From: Alice Frosi Date: Fri, 24 Mar 2023 10:07:48 +0100 Subject: Re-organize project and add license header --- cooker/gluten.c | 44 -------------------------------------------- 1 file changed, 44 deletions(-) delete mode 100644 cooker/gluten.c (limited to 'cooker/gluten.c') diff --git a/cooker/gluten.c b/cooker/gluten.c deleted file mode 100644 index 1116e6b..0000000 --- a/cooker/gluten.c +++ /dev/null @@ -1,44 +0,0 @@ -// SPDX-License-Identifier: GPL-3.0-or-later - -/* seitan - Syscall Expressive Interpreter, Transformer and Notifier - * - * cooker/gluten.c - gluten (bytecode) file and layout functions - * - * Copyright 2023 Red Hat GmbH - * Author: Stefano Brivio - */ - -#include "cooker.h" -#include "gluten.h" -#include "util.h" - -#define GLUTEN_INST_SIZE BUFSIZ -#define GLUTEN_DATA_SIZE BUFSIZ - -static char gluten[GLUTEN_INST_SIZE + GLUTEN_DATA_SIZE]; - -static size_t gluten_arg_storage[ARG_TYPE_COUNT] = { - [ARG_INT] = sizeof(int), - [ARG_INTMASK] = sizeof(int), -}; - -int gluten_alloc(struct gluten_ctx *g, size_t size) -{ - debug(" allocating %lu at offset %i", size, g->sp); - if ((g->sp += size) >= GLUTEN_DATA_SIZE) - die("Temporary data size exceeded"); - - return g->sp - size; -} - -int gluten_alloc_type(struct gluten_ctx *g, enum arg_type type) -{ - return gluten_alloc(g, gluten_arg_storage[type]); -} - -int gluten_init(struct gluten_ctx *g) -{ - g->gluten = gluten; - - return 0; -} -- cgit v1.2.3