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