Searched refs:old_code_buffer (Results 1 – 1 of 1) sorted by relevance
8172 uint64_t *old_code_buffer, in vmtc_text_page_diagnose() argument8193 old = old_code_buffer; in vmtc_text_page_diagnose()8250 vmtc_last_before_buffer = old_code_buffer; in vmtc_text_page_diagnose()8255 kmem_free(kernel_map, (vm_offset_t)old_code_buffer, size); in vmtc_text_page_diagnose()