Searched refs:ebt_name (Results 1 – 2 of 2) sorted by relevance
57 const char *ebt_name; member69 .ebt_name = #name, \
117 "exclaves: boot task started, %s\n", boot_tasks[i].ebt_name); in exclaves_boot_tasks()126 "exclaves: boot task done, %s\n", boot_tasks[i].ebt_name); in exclaves_boot_tasks()130 boot_tasks[i].ebt_name, &boot_tasks[i]); in exclaves_boot_tasks()