void
pmm_mark_chunk_occupied(pid_t owner,
- uint32_t start_ppn,
+ u32_t start_ppn,
size_t page_count,
pp_attr_t attr)
{
{
(void*)owner; // TODO: do smth with owner
- uint32_t ppn = (uintptr_t)page >> 12;
+ u32_t ppn = (uintptr_t)page >> 12;
if (ppn >= PM_BMP_MAX_SIZE) {
return 0;
struct pp_struct*
pmm_query(void* pa)
{
- uint32_t ppn = (uintptr_t)pa >> 12;
+ u32_t ppn = (uintptr_t)pa >> 12;
if (ppn >= PM_BMP_MAX_SIZE) {
return NULL;