#include #include #include #include #include #include Command *commands = NULL; void register_commands() { for(int i = 0; i < arrlen(commands); ++i) { print("command %s: %s (@%x)", commands[i].name, commands[i].description, (long long)commands[i].callback); } } l4_initcall(register_commands);