2#include "pedigree/kernel/Log.h"
4#include "modules/Module.h"
15 NOTICE(
"INIT-MODULE-FIXTURE: active");
20 NOTICE(
"INIT-MODULE-FIXTURE: exit");
24 NOTICE(
"INIT-MODULE-FIXTURE: destructor");
26 ERROR(
"INIT-MODULE-FIXTURE: FAIL lifecycle order");
29void (*
const constructor)()
SECTION(
".ctors")
USED = initialise;
30void (*
const destructor)()
SECTION(
".dtors")
USED = finalise;
32MODULE_INFO(
"init-module-contract", &entry, &exit);