25 |
#include <grub/err.h> |
#include <grub/err.h> |
26 |
#include <grub/types.h> |
#include <grub/types.h> |
27 |
|
|
28 |
#define GRUB_MOD_INIT \ |
#define GRUB_MOD_INIT(name) \ |
29 |
static void grub_mod_init (grub_dl_t mod) __attribute__ ((used)); \ |
static void grub_mod_init (grub_dl_t mod) __attribute__ ((used)); \ |
30 |
|
void grub_##name##_init (void); \ |
31 |
|
void \ |
32 |
|
grub_##name##_init (void) { grub_mod_init (0); } \ |
33 |
static void \ |
static void \ |
34 |
grub_mod_init (grub_dl_t mod) |
grub_mod_init (grub_dl_t mod) |
35 |
|
|
36 |
#define GRUB_MOD_FINI \ |
#define GRUB_MOD_FINI(name) \ |
37 |
static void grub_mod_fini (void) __attribute__ ((used)); \ |
static void grub_mod_fini (void) __attribute__ ((used)); \ |
38 |
|
void grub_##name##_fini (void); \ |
39 |
|
void \ |
40 |
|
grub_##name##_fini (void) { grub_mod_fini (); } \ |
41 |
static void \ |
static void \ |
42 |
grub_mod_fini (void) |
grub_mod_fini (void) |
43 |
|
|