Searched refs:diagnose_buffer (Results 1 – 1 of 1) sorted by relevance
8834 uint64_t *diagnose_buffer = NULL; in revalidate_text_page() local8912 diagnose_buffer = vmtc_text_page_diagnose_setup(code_addr, page, event); in revalidate_text_page()8950 if (diagnose_buffer != NULL) { in revalidate_text_page()8951 vmtc_text_page_diagnose(code_addr, diagnose_buffer, event); in revalidate_text_page()