Searched refs:Write_Perm (Results 1 – 6 of 6) sorted by relevance
63 subtype Write_Perm is Perm_Kind range Read_Write .. Write_Only; subtype881 when Write_Only => return P1 in Write_Perm;3477 when Write_Perm =>3884 when Write_Perm =>4337 if Perm_N not in Write_Perm then4384 if Perm_N not in Write_Perm then