Searched refs:Kernel_Call (Results 1 – 4 of 4) sorted by relevance
14744 Kernel_Call : constant Node_Id := Get_Pragma_Arg (Arg1); constant14755 Analyze_And_Resolve (Kernel_Call);14756 if Nkind (Kernel_Call) /= N_Function_Call14757 or else Etype (Kernel_Call) /= Standard_Void_Type
15053 Kernel_Call : constant Node_Id := Get_Pragma_Arg (Arg1); constant15064 Analyze_And_Resolve (Kernel_Call);15065 if Nkind (Kernel_Call) /= N_Function_Call15066 or else Etype (Kernel_Call) /= Standard_Void_Type