FDISK_devNrExists

Description: checks if a certain device number exists
Parameter:



root 2018-05-08