Rafal Kolanski 29343f847d aarch64: makeUserPage: de-dup, use bitfield gen ...

`makeUserPage` was a bit confusing to understand, and went around the
bitfield-generator's back by modifying the tag bits. As a result, it did
not set bit 58 for 4k pages, meaning a 4k page could not be identified
from an encoded PTE. This version addresses that, and hopefully improves
the repetition.

Signed-off-by: Rafal Kolanski <rafal.kolanski@proofcraft.systems>

2023-10-19 00:01:07 +11:00

..

api

Move getActiveIRQ() close to use site (#993)

2023-03-26 08:16:19 +11:00

arch

aarch64: makeUserPage: de-dup, use bitfield gen

2023-10-19 00:01:07 +11:00

benchmark

benchmark: config opt. name to enable log buffer

2022-03-31 08:56:06 +11:00

config

doc: improve comments

2023-08-14 15:41:57 +10:00

drivers

generc_timer: enable only once for mcs/non-mcs

2023-05-25 20:42:02 +10:00

fastpath

trivial: rename of vspace cap ASID function

2023-10-05 15:49:24 +01:00

kernel

boot: Remove constant BI_FRAME_SIZE_BITS

2023-08-23 15:10:32 +02:00

machine

print period and budget with units

2023-08-14 15:41:57 +10:00

model

SMP: Fixup compilation error

2023-06-21 10:58:48 +10:00

object

trivial: Improve formatting in isMDBParentOf

2023-08-27 11:44:51 +10:00

plat

Read time directly on RISC-V platforms

2023-08-13 09:01:48 +10:00

smp

ipi: add missing barrier and enforce completion

2023-04-23 15:00:48 +10:00

assert.c

Convert license tags to SPDX identifiers

2020-03-09 13:21:49 +08:00

config.cmake

use wrapper function for benchmark syscalls

2022-01-10 11:58:30 +11:00

inlines.c

Enabled IPC debug features under new config

2020-04-06 14:21:46 +10:00

string.c

Convert license tags to SPDX identifiers

2020-03-09 13:21:49 +08:00

util.c

riscv: fix CLZ and CTZ for riscv32 builds (#325)

2021-03-30 13:17:16 +11:00