Searched refs:old_code_buffer (Results 1 – 1 of 1) sorted by relevance
7953 uint64_t *old_code_buffer, in vmtc_text_page_diagnose() argument7974 old = old_code_buffer; in vmtc_text_page_diagnose()8031 vmtc_last_before_buffer = old_code_buffer; in vmtc_text_page_diagnose()8036 kmem_free(kernel_map, (vm_offset_t)old_code_buffer, size); in vmtc_text_page_diagnose()