/*
 * Copyright 2014, Paweł Dziepak, pdziepak@quarnos.org.
 * Distributed under the terms of the MIT License.
 */
#ifndef _KERNEL_ARCH_USER_MEMORY_H
#define _KERNEL_ARCH_USER_MEMORY_H


#include <OS.h>

#include <thread.h>


#ifdef __i386__

extern "C" {

status_t _arch_cpu_user_memcpy(void* to, const void* from, size_t size,
        void (**faultHandler)(void));
ssize_t _arch_cpu_user_strlcpy(char* to, const char* from, size_t size,
        void (**faultHandler)(void));
status_t _arch_cpu_user_memset(void* s, char c, size_t count,
        void (**faultHandler)(void));

}


static inline status_t
arch_cpu_user_memcpy(void* to, const void* from, size_t size)
{
        return _arch_cpu_user_memcpy(to, from, size,
                &thread_get_current_thread()->fault_handler);
}


static inline ssize_t
arch_cpu_user_strlcpy(char* to, const char* from, size_t size)
{
        return _arch_cpu_user_strlcpy(to, from, size,
                &thread_get_current_thread()->fault_handler);
}


static inline status_t
arch_cpu_user_memset(void* s, char c, size_t count)
{
        return _arch_cpu_user_memset(s, c, count,
                &thread_get_current_thread()->fault_handler);
}


#else
#       include <arch/generic/user_memory.h>
#endif

#endif  // _KERNEL_ARCH_USER_MEMORY_H