Code

vm_map reservations interface#913

Code

Merged

qwattash merged 17 commits intodevCTSRD-CHERI/cheribsd:devfrom dev-purecap-kernel-reservationsCTSRD-CHERI/cheribsd:dev-purecap-kernel-reservationsCopy head branch name to clipboardFeb 12, 2021

+1,235-613

Commits

Commits on Feb 8, 2021

• Cleanup use of of output addr parameter in vm_map_find.

  Show description for 584de98
  qwattash

  committed
  584de98

• Update kernel reservations support across vm_map.

  Show description for d673c4d
  qwattash

  committed
  d673c4d

• Expose vm_pointer_t via user.h

  Show description for d285720
  qwattash

  committed
  d285720

• Use new reservations KPI for exec_new_vmspace().

  Show description for 48f7d9e
  qwattash

  committed
  48f7d9e

Commits on Feb 10, 2021

• Use new reservations KPI for image activators.

  Show description for cc077cc
  qwattash

  committed
  cc077cc

• Update kmap allocation functions to use reservations.

  Show description for 209a592
  qwattash

  committed
  209a592

• Create a reservation for the UMA bootmem.

  qwattash

  committed
  5d5ad9c

• Use new reservation KPI in shmat.

  qwattash

  committed
  0232bde

• Use new reservation KPI for userspace non-trasparent superpages in shm_mmap.

  Show description for d529ea3
  qwattash

  committed
  d529ea3

Commits on Feb 11, 2021

• purecap-kernel: Update vm_map for kernel reservations.

  Show description for ec9d437
  qwattash

  committed
  ec9d437

• purecap-kernel: Update mmap() for purecap kernel.

  Show description for d593255
  qwattash

  committed
  d593255

• purecap-kernel: Drop __cheri_addr casts incompatible with the purecap kernel.

  Show description for 5b9f208
  qwattash

  committed
  5b9f208

• purecap-kernel: Update kernel exec

  Show description for be33908
  qwattash

  committed
  be33908

• purecap-kernel: Create reservation for kernel image when initializing kmem

  qwattash

  committed
  1fc4873

• purecap-kernel: Add assertion to make sure capabilities are sensible in shm

  qwattash

  committed
  ca58a5a

• purecap-kernel: Use vm_pointer_t for shm_mmap

  qwattash

  committed
  768c35d

• Set CHERIABI_VMMAP permission bit on the MIPS root_userspace_cap.

  qwattash

  committed
  29e4600