Searched refs:old_code_buffer (Results 1 – 1 of 1) sorted by relevance
8171 uint64_t *old_code_buffer, in vmtc_text_page_diagnose() argument8192 old = old_code_buffer; in vmtc_text_page_diagnose()8249 vmtc_last_before_buffer = old_code_buffer; in vmtc_text_page_diagnose()8254 kmem_free(kernel_map, (vm_offset_t)old_code_buffer, size); in vmtc_text_page_diagnose()