pageable.c   [plain text]

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

int pageableExport() {
	return 1;
}

int pageableExportDirect() {
    return 42;
}