/*
 * Copyright (C) 2014, Samsung Electronics Co., Ltd.
 *
 * Custom SMC Handler. Interface to invoke Secure-kernel functions
 * Source file
 */

#include "kernel_api.h"

#ifndef CONFIG_SDK40
#if defined(CONFIG_SDK30)
extern const unsigned long *const func_table;
#else
static unsigned long * func_table __attribute__ ((section(".func_table"))) = (unsigned long *)0;
#endif
extern const uintptr_t __stack_chk_guard;

void __stack_chk_fail(void)
{
    printf("Custom handler stack smash detected!\n");
    kernel_panic();
}

unsigned long get_fptr(int index)
{
        return func_table[index];
}
#endif