process.h

Go to the documentation of this file.

#ifndef KERNEL_ARCH_I686_PROCESS_H
#define KERNEL_ARCH_I686_PROCESS_H
 
#include <kernel/types.h>
#include <kernel/interrupts.h>
 
 
typedef struct x86_thread {
 
    u32 cr3; 
 
    u32 esp0;
 
    u32 esp_user;
 
    u32 esp;
 
    struct interrupt_frame frame;
 
} thread_context_t;
 
static inline void
arch_thread_set_stack_pointer(thread_context_t *ctx, void *stack)
{
    ctx->esp = (u32)stack;
}
 
static inline void *arch_thread_get_stack_pointer(thread_context_t *ctx)
{
    return (void *)ctx->esp;
}
 
static inline void
arch_thread_set_base_pointer(thread_context_t *ctx, void *ptr)
{
    ctx->frame.stub.ebp = (vaddr_t)ptr;
}
 
static inline void *arch_thread_get_base_pointer(thread_context_t *ctx)
{
    return (void *)ctx->frame.stub.ebp;
}
 
static inline void
arch_thread_set_interrupt_frame(thread_context_t *ctx,
                                const struct interrupt_frame *frame)
{
    ctx->frame = *frame;;
}
 
static inline void
arch_thread_set_kernel_stack_top(thread_context_t *ctx, void *top)
{
    ctx->esp0 = (u32)top;
}
 
static inline void *
arch_thread_get_kernel_stack_top(const thread_context_t *ctx)
{
    return (void *)ctx->esp0;
}
 
static inline void
arch_thread_set_user_stack_top(thread_context_t *ctx, void *top)
{
    ctx->esp_user = (u32)top;
}
 
static inline void *arch_thread_get_user_stack_top(const thread_context_t *ctx)
{
    return (void *)ctx->esp_user;
}
 
static inline void *
arch_thread_get_interrupt_return_address(const thread_context_t *ctx)
{
    return (void *)ctx->frame.state.eip;
}
 
#endif /* KERNEL_ARCH_I686_PROCESS_H */