Symbol: DBGFS_GET_SHORT