OSDev.org

C/C++

typedef unsigned long vintp; //- integer type to store a pointer.

extern start_ctors, end_ctors, start_dtors, end_dtors;

void loader(void) {
//- call all the static constructors in the list.
for(vintp * call = &start_ctors; call < &end_ctors; call++) {
((void (*)(void))*call)();
}

//- call kernel proper
main();

//- call all the static destructors in the list.
for(vintp * call = &start_dtors; call < &end_dtors; call++) {
((void (*)(void))*call)();
}
}