6 __isl_give isl_printer
*gpu_print_macros(__isl_take isl_printer
*p
,
7 __isl_keep isl_ast_node
*node
);
9 __isl_give isl_printer
*gpu_array_info_print_size(__isl_take isl_printer
*prn
,
10 struct gpu_array_info
*array
);
12 __isl_give isl_printer
*ppcg_kernel_print_copy(__isl_take isl_printer
*p
,
13 struct ppcg_kernel_stmt
*stmt
);
14 __isl_give isl_printer
*ppcg_kernel_print_domain(__isl_take isl_printer
*p
,
15 struct ppcg_kernel_stmt
*stmt
);