Searched refs:old_code_buffer (Results 1 – 1 of 1) sorted by relevance
7868 uint64_t *old_code_buffer, in vmtc_text_page_diagnose() argument7889 old = old_code_buffer; in vmtc_text_page_diagnose()7946 vmtc_last_before_buffer = old_code_buffer; in vmtc_text_page_diagnose()7951 kmem_free(kernel_map, (vm_offset_t)old_code_buffer, size); in vmtc_text_page_diagnose()