os/kernel/cpu/address_spaces.h
2020-07-22 19:26:55 -05:00

9 lines
231 B
C

#ifndef ADDRESS_SPACES_H
#define ADDRESS_SPACES_H
#include <stdint.h>
void address_spaces_copy_data(void* cr3, void* data,uint32_t size,void* virt_addr);
void* address_spaces_put_data(void* cr3, void* data,uint32_t size);
#endif