Searching in ext/systemc/src/sysc/kernel