178 	LOG_DBG("\tfunction_id       %08lx", function_id);  in intel_sip_secure_monitor_call()
179 	LOG_DBG("\targ0              %08lx", arg0);  in intel_sip_secure_monitor_call()
180 	LOG_DBG("\targ1              %08lx", arg1);  in intel_sip_secure_monitor_call()
181 	LOG_DBG("\targ2              %08lx", arg2);  in intel_sip_secure_monitor_call()
182 	LOG_DBG("\targ3              %08lx", arg3);  in intel_sip_secure_monitor_call()
183 	LOG_DBG("\targ4              %08lx", arg4);  in intel_sip_secure_monitor_call()
184 	LOG_DBG("\targ5              %08lx", arg5);  in intel_sip_secure_monitor_call()
185 	LOG_DBG("\targ6              %08lx", arg6);  in intel_sip_secure_monitor_call()
191 	LOG_INF("Time taken for %08lx is %08lld ns", function_id,  in intel_sip_secure_monitor_call()
195 	LOG_DBG("\tres->a0           %08lx", res->a0);  in intel_sip_secure_monitor_call()
196 	LOG_DBG("\tres->a1           %08lx", res->a1);  in intel_sip_secure_monitor_call()
197 	LOG_DBG("\tres->a2           %08lx", res->a2);  in intel_sip_secure_monitor_call()
198 	LOG_DBG("\tres->a3           %08lx", res->a3);  in intel_sip_secure_monitor_call()
199 	LOG_DBG("\tres->a4           %08lx", res->a4);  in intel_sip_secure_monitor_call()
200 	LOG_DBG("\tres->a5           %08lx", res->a5);  in intel_sip_secure_monitor_call()
201 	LOG_DBG("\tres->a6           %08lx", res->a6);  in intel_sip_secure_monitor_call()
202 	LOG_DBG("\tres->a7           %08lx", res->a7);  in intel_sip_secure_monitor_call()