vmm.h

Go to the documentation of this file.

#pragma once
 
#include <kernel/mem/paging_types.h>
#include <kernel/mem/space.h>
#include <kernel/sched/thread.h>
 
#include <boot/boot_info.h>
 
#include <sys/list.h>
#include <sys/proc.h>
 
#define VMM_KERNEL_BINARY_MAX PML_HIGHER_HALF_END 
#define VMM_KERNEL_BINARY_MIN \
    PML_INDEX_TO_ADDR(PML_INDEX_AMOUNT - 1, PML4) 
 
#define VMM_KERNEL_STACKS_MAX VMM_KERNEL_BINARY_MIN                         
#define VMM_KERNEL_STACKS_MIN PML_INDEX_TO_ADDR(PML_INDEX_AMOUNT - 3, PML4) 
 
#define VMM_KERNEL_HEAP_MAX VMM_KERNEL_STACKS_MIN                         
#define VMM_KERNEL_HEAP_MIN PML_INDEX_TO_ADDR(PML_INDEX_AMOUNT - 5, PML4) 
 
#define VMM_IDENTITY_MAPPED_MAX VMM_KERNEL_HEAP_MIN   
#define VMM_IDENTITY_MAPPED_MIN PML_HIGHER_HALF_START 
 
#define VMM_USER_SPACE_MAX PML_LOWER_HALF_END 
#define VMM_USER_SPACE_MIN (0x400000)         
 
#define VMM_IS_PAGE_ALIGNED(addr) (((uintptr_t)(addr) & (PAGE_SIZE - 1)) == 0)
 
typedef struct
{
    list_entry_t entry;
    space_t* space;
    void* virtAddr;
    uint64_t pageAmount;
} vmm_shootdown_t;
 
#define VMM_MAX_SHOOTDOWN_REQUESTS 16
 
typedef struct
{
    list_entry_t entry; 
    vmm_shootdown_t shootdowns[VMM_MAX_SHOOTDOWN_REQUESTS];
    uint8_t shootdownCount;
    lock_t lock;
    space_t* currentSpace; 
} vmm_cpu_ctx_t;
 
typedef enum
{
    VMM_ALLOC_NONE = 0x0,
    VMM_ALLOC_FAIL_IF_MAPPED = 0x1 
} vmm_alloc_flags_t;
 
void vmm_init(const boot_memory_t* memory, const boot_gop_t* gop, const boot_kernel_t* kernel);
 
void vmm_cpu_ctx_init(vmm_cpu_ctx_t* ctx);
 
void vmm_map_bootloader_lower_half(thread_t* bootThread);
 
void vmm_unmap_bootloader_lower_half(thread_t* bootThread);
 
space_t* vmm_get_kernel_space(void);
 
pml_flags_t vmm_prot_to_flags(prot_t prot);
 
void* vmm_alloc(space_t* space, void* virtAddr, uint64_t length, pml_flags_t pmlFlags, vmm_alloc_flags_t allocFlags);
 
void* vmm_map(space_t* space, void* virtAddr, void* physAddr, uint64_t length, pml_flags_t flags,
    space_callback_func_t func, void* private);
 
void* vmm_map_pages(space_t* space, void* virtAddr, void** pages, uint64_t pageAmount, pml_flags_t flags,
    space_callback_func_t func, void* private);
 
uint64_t vmm_unmap(space_t* space, void* virtAddr, uint64_t length);
 
uint64_t vmm_protect(space_t* space, void* virtAddr, uint64_t length, pml_flags_t flags);
 
void vmm_shootdown_handler(interrupt_frame_t* frame, cpu_t* self);