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.dats | |
parent | d177285a761de33b86fcbde72fd718137bfa6f86 (diff) | |
download | ats-os-fcf755d4f03f6fba974d11307659e2e96f9696e7.tar.xz ats-os-fcf755d4f03f6fba974d11307659e2e96f9696e7.zip |
Implemented entry
Diffstat (limited to 'kernel/memory/paging.dats')
-rw-r--r-- | kernel/memory/paging.dats | 36 |
1 files changed, 0 insertions, 36 deletions
diff --git a/kernel/memory/paging.dats b/kernel/memory/paging.dats deleted file mode 100644 index 84a8bf4..0000000 --- a/kernel/memory/paging.dats +++ /dev/null @@ -1,36 +0,0 @@ -#define ATS_DYNLOADFLAG 0 - -#include "kernel/prelude/kernel_prelude.hats" - -staload UN = "prelude/SATS/unsafe.sats" - -staload "./paging.sats" -staload "./frame.sats" -staload "lib/SATS/valid.sats" - -assume entry_type = uint64 - -val zero = u2uint64(0u) - -implement is_unused(entry) = entry = zero -implement set_unused(entry) = entry := zero - -implement flag_contains(entry,flag) = - (entry land $UN.cast{uint64}(1 << (case+ flag of - | PRESENT() => 0 - | WRITABLE() => 1 - | USER_ACCESSIBLE() => 2 - | WRITE_THROUGH() => 3 - | NO_CACHE() => 4 - | ACCESSED() => 5 - | DIRTY() => 6 - | HUGE_PAGE() => 7 - | GLOBAL() => 8 - | NO_EXECUTE() => 63 - ))) != zero - -(* implement test() = let *) -(* in *) -(* (5,true) *) -(* end *) - |