Lines Matching refs:Restricted_Profile
4957 if Restricted_Profile then
7035 if Restricted_Profile then
9302 if not Restricted_Profile then
9346 and then not Restricted_Profile
9534 if not Restricted_Profile
11665 if Restricted_Profile then
12000 if Restricted_Profile then
12023 if Restricted_Profile and then Preallocated_Stacks_On_Target then
12247 if (not Restricted_Profile or else Task_Dispatching_Policy = 'E')
12275 if not Restricted_Profile
13524 and then not Restricted_Profile
13846 Restricted : constant Boolean := Restricted_Profile;
13970 if Restricted_Profile and Task_Dispatching_Policy = 'E' then
14315 if not (Restricted_Profile and then Task_Dispatching_Policy = 'E') then
14329 if Restricted_Profile then
14369 if Restricted_Profile then
14442 if not Restricted_Profile or else Task_Dispatching_Policy = 'E' then
14468 if not Restricted_Profile then
14612 if Restricted_Profile then