kernel-export.c   [plain text]

#include "../kernel-test-runner.h"

int kernelExport() {
	return 1;
}

int kernelExportDirect() {
    return 42;
}