MODULE
#ifdef MODULE
defined(MODULE)))
MODULE(MODULE_CLASS_DRIVER, nvmm, NULL);
display_pager("Platform module: %s\n\n", MODULE);