/kernel/eka/include/memmodel/emul/
drwxr-xr-x [up]
drwxr-xr-x win32
-rw-r--r-- 2010-07-09 13:13 +0100 1371 plat_priv.h
-rw-r--r-- 2010-07-09 13:13 +0100 625 platform.h