There is no need to check wether the inst pointer is NULL or not
tree93723eae6eecc7f4bb9e048d39daa9997b772394
-rw-r--r-- 6895 .bzrignore
-rw-r--r-- 16837 HelenOS.config
-rw-r--r-- 3747 Makefile
drwxr-xr-x - abi
drwxr-xr-x - boot
drwxr-xr-x - contrib
drwxr-xr-x - defaults
drwxr-xr-x - kernel
drwxr-xr-x - release
drwxr-xr-x - tools
drwxr-xr-x - uspace
-rw-r--r-- 1940 version