/*
 * 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);
}