FDISK_devNrExists

Description: checks if a certain device number exists
Parameter:



root 2019-07-18