Python 2.7.1 (r271:86832, May  8 2011, 18:40:45)
[GCC 4.6.0] on linux2
Type "help", "copyright", "credits" or "license" for more information.
>>> from Teeos.Utils import _mnt
>>> _mnt(None, '/proc', 'proc', None, 0)
>>> _mnt(None, '/proc', 'proc', None, 0)
Traceback (most recent call last):
  File "<stdin>", line 1, in <module>
  File "/teeos/system-packages/Teeos/Utils/__init__.py", line 10, in _mnt
    RaiseErrnoException(get_errno())
  File "/teeos/system-packages/Teeos/Utils/ErrnoExceptions.py", line 1181, in RaiseErrnoException
    raise ErrnoExcepts[errno]
Teeos.Utils.ErrnoExceptions.EBUSY: 'Device or resource busy'
>>> _mnt(None, '/proc', 'badfsname', None, 0)
Traceback (most recent call last):
  File "<stdin>", line 1, in <module>
  File "/teeos/system-packages/Teeos/Utils/__init__.py", line 10, in _mnt
    RaiseErrnoException(get_errno())
  File "/teeos/system-packages/Teeos/Utils/ErrnoExceptions.py", line 1181, in RaiseErrnoException
    raise ErrnoExcepts[errno]
Teeos.Utils.ErrnoExceptions.ENODEV: 'No such device'
>>> _mnt(None, '/proc', 'baddevname', None, 0)
Traceback (most recent call last):
  File "<stdin>", line 1, in <module>
  File "/teeos/system-packages/Teeos/Utils/__init__.py", line 10, in _mnt
    RaiseErrnoException(get_errno())
  File "/teeos/system-packages/Teeos/Utils/ErrnoExceptions.py", line 1181, in RaiseErrnoException
    raise ErrnoExcepts[errno]
Teeos.Utils.ErrnoExceptions.ENODEV: 'No such device'
>>>