Mode | Name | Size | |
---|---|---|---|
-rw-r--r-- | Kconfig | 654 | logplain |
-rw-r--r-- | Makefile | 143 | logplain |
-rw-r--r-- | core.c | 32922 | logplain |
-rw-r--r-- | core.h | 1503 | logplain |
-rw-r--r-- | patch.c | 6564 | logplain |
-rw-r--r-- | patch.h | 1146 | logplain |
-rw-r--r-- | shadow.c | 8914 | logplain |
-rw-r--r-- | state.c | 3148 | logplain |
-rw-r--r-- | state.h | 212 | logplain |
-rw-r--r-- | transition.c | 21482 | logplain |
-rw-r--r-- | transition.h | 457 | logplain |