Searched refs:_request_buf (Results 1 – 1 of 1) sorted by relevance
1449 #define exclaves_scheduler_debug_show_request_response(_request_buf, \ argument1452 printf("exclaves: Scheduler request = %p\n", _request_buf); \1454 _request_buf##_copy.tag); \1458 _request_buf##_copy.arguments[arg]); \1471 #define exclaves_scheduler_debug_show_request_response(_request_buf, \ argument