Searched refs:panic_buffer (Results 1 – 1 of 1) sorted by relevance
140 char *panic_buffer = (char *)&exclaves_panic_buffer; in exclaves_panic_buffer_sync() local159 (void)memcpy(panic_buffer, next_page, nbytes); in exclaves_panic_buffer_sync()161 panic_buffer += nbytes; in exclaves_panic_buffer_sync()