stack_pointer.h

Go to the documentation of this file.

#pragma once
 
#include <kernel/mem/paging_types.h>
#include <kernel/sched/sched.h>
 
#include <stdint.h>
 
#define STACK_POINTER_GUARD_PAGES 1
 
typedef struct
{
    uintptr_t top;           
    uintptr_t bottom;        
    uintptr_t guardTop;      
    uintptr_t guardBottom;   
    uintptr_t lastPageFault; 
} stack_pointer_t;
 
uint64_t stack_pointer_init(stack_pointer_t* stack, uintptr_t maxAddress, uint64_t maxPages);
 
uint64_t stack_pointer_init_buffer(stack_pointer_t* stack, void* buffer, uint64_t pages);
 
void stack_pointer_deinit(stack_pointer_t* stack, thread_t* thread);
 
void stack_pointer_deinit_buffer(stack_pointer_t* stack);
 
bool stack_pointer_is_in_stack(stack_pointer_t* stack, uintptr_t addr, uint64_t length);
 
bool stack_pointer_overlaps_guard(stack_pointer_t* stack, uintptr_t addr, uint64_t length);