Searched refs:old_code_buffer (Results 1 – 1 of 1) sorted by relevance
8325 uint64_t *old_code_buffer, in vmtc_text_page_diagnose() argument8346 old = old_code_buffer; in vmtc_text_page_diagnose()8403 vmtc_last_before_buffer = old_code_buffer; in vmtc_text_page_diagnose()8408 kmem_free(kernel_map, (vm_offset_t)old_code_buffer, size); in vmtc_text_page_diagnose()