|
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 | ( | ) |