NOVA User-Level Environment
Version testbox/changed-memory-timing-317-g320d8b5
|
#include "callback.h"
#include "memory.h"
#include "mlvalues.h"
Macros | |
#define | REGPARM(X) __attribute__ ((regparm(X))) |
#define | NORETURN __attribute__ ((noreturn)) |
#define | PACKED __attribute__ ((__packed__)) |
#define | UNREACHED __builtin_trap() |
#define | EXTERN_C extern "C" |
Functions | |
EXTERN_C | REGPARM (0) void caml_startup(char **argv) |
void | start_ocaml () |
Variables | |
EXTERN_C value | arg |
#define EXTERN_C extern "C" |
#define NORETURN __attribute__ ((noreturn)) |
#define PACKED __attribute__ ((__packed__)) |
#define REGPARM | ( | X | ) | __attribute__ ((regparm(X))) |
#define UNREACHED __builtin_trap() |
EXTERN_C REGPARM | ( | 0 | ) |
void start_ocaml | ( | ) |