diff options
| author | Xander <xander@biltopia.org> | 2023-08-19 15:04:23 +0200 |
|---|---|---|
| committer | Xander <xander@biltopia.org> | 2023-08-19 15:19:25 +0200 |
| commit | fcf755d4f03f6fba974d11307659e2e96f9696e7 (patch) | |
| tree | a58d9b7b24d6ab4b80f854d6d3905246b37494bd /kernel/memory/paging.sats | |
| parent | d177285a761de33b86fcbde72fd718137bfa6f86 (diff) | |
| download | ats-os-fcf755d4f03f6fba974d11307659e2e96f9696e7.tar.xz ats-os-fcf755d4f03f6fba974d11307659e2e96f9696e7.zip | |
Implemented entry
Diffstat (limited to 'kernel/memory/paging.sats')
| -rw-r--r-- | kernel/memory/paging.sats | 35 |
1 files changed, 0 insertions, 35 deletions
diff --git a/kernel/memory/paging.sats b/kernel/memory/paging.sats deleted file mode 100644 index 477e942..0000000 --- a/kernel/memory/paging.sats +++ /dev/null @@ -1,35 +0,0 @@ -#define ENTRY_COUNT 512 - -staload "./frame.sats" -staload "lib/SATS/valid.sats" - -abstype paddr_type(l:addr) = ptr(l) -typedef paddr(l:addr) = paddr_type(l) - -abstype vaddr_type(l:addr) = ptr(l) -typedef vaddr(l:addr) = vaddr_type(l) - -abst@ype entry_type = uint64 -typedef entry_t = entry_type - -typedef page_t = @{ - num = size_t -} - -datatype entry_flag = - | PRESENT - | WRITABLE - | USER_ACCESSIBLE - | WRITE_THROUGH - | NO_CACHE - | ACCESSED - | DIRTY - | HUGE_PAGE - | GLOBAL - | NO_EXECUTE - -fn is_unused(entry_t) : bool -fn set_unused(&entry_t) : void - -fn flag_contains(entry_t,entry_flag) : bool -fn test() : [b : bool] valid(int,b) |