/*
 * Copyright 2018, Jérôme Duval, jerome.duval@gmail.com.
 * Copyright 2012, Alex Smith, alex@alex-smith.me.uk.
 * Distributed under the terms of the MIT License.
 */


#include "x86_signals.h"

#include <string.h>

#include <KernelExport.h>

#include <commpage_compat.h>
#include <cpu.h>
#include <elf.h>
#include <smp.h>


extern "C" void x86_64_signal_handler_compat(void);
extern int x86_64_signal_handler_compat_end;


void
x86_compat_initialize_commpage_signal_handler()
{
	void* handlerCode = (void*)&x86_64_signal_handler_compat;
	void* handlerCodeEnd = &x86_64_signal_handler_compat_end;

	// Copy the signal handler code to the commpage.
	size_t len = (size_t)((addr_t)handlerCodeEnd - (addr_t)handlerCode);
	addr_t position = fill_commpage_compat_entry(
		COMMPAGE_ENTRY_X86_SIGNAL_HANDLER, handlerCode, len);

	// Add symbol to the commpage image.
	image_id image = get_commpage_compat_image();
	elf_add_memory_image_symbol(image, "commpage_compat_signal_handler",
		position, len, B_SYMBOL_TYPE_TEXT);
}