#include "pte.h"

void pt_entry_add_attr(pt_entry_t *entry, uint32_t attr){
    *entry |= attr;
}

void pt_entry_del_attr(pt_entry_t *entry, uint32_t attr){
    *entry &= ~attr;
}

void pt_entry_set_frame(pt_entry_t *entry, phys_addr frame){
    *entry &= ~PTE_FRAME;
    *entry |= frame << 12;
}

phys_addr pt_entry_get_frame(pt_entry_t entry){
    return entry >> 12;
}

bool pt_entry_is_present(pt_entry_t entry){
    return entry & PTE_PRESENT;
}

bool pt_entry_is_writable(pt_entry_t entry){
    return entry & PTE_WRITABLE;
}