getflabel_cipso
extern ts_label_t *getflabel_cipso(vfs_t *);
tsl = getflabel_cipso(vfsp);
return (getflabel_cipso(vfsp));