sambuc/codezero
1
0
Fork 0
mirror of https://github.com/drasko/codezero.git synced 2026-04-30 07:31:30 +02:00
Code Issues Actions Packages Projects Releases Wiki Activity

Fixed missing memory capability target field setup

Browse Source
This commit is contained in:
Bahadir Balban
2009-11-18 11:03:47 +02:00
parent 51a12a507f
commit b9b48795ee
2 changed files with 4 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
scripts/kernel/generate_kernel_cinfo.py
View File

@@ -77,6 +77,7 @@ pager_end = \
cap_virtmem = \ cap_virtmem = \
''' '''
\t\t\t[%(capidx)d] = { \t\t\t[%(capidx)d] = {
\t\t\t\t.target = %(cn)d,
\t\t\t\t.type = CAP_TYPE_MAP_VIRTMEM | CAP_RTYPE_CONTAINER, \t\t\t\t.type = CAP_TYPE_MAP_VIRTMEM | CAP_RTYPE_CONTAINER,
\t\t\t\t.access = CAP_MAP_READ | CAP_MAP_WRITE | CAP_MAP_EXEC \t\t\t\t.access = CAP_MAP_READ | CAP_MAP_WRITE | CAP_MAP_EXEC
\t\t\t\t\t| CAP_MAP_CACHED | CAP_MAP_UNCACHED | CAP_MAP_UNMAP | CAP_MAP_UTCB, \t\t\t\t\t| CAP_MAP_CACHED | CAP_MAP_UNCACHED | CAP_MAP_UNMAP | CAP_MAP_UTCB,
@@ -89,6 +90,7 @@ cap_virtmem = \
cap_physmem = \ cap_physmem = \
''' '''
\t\t\t[%(capidx)d] = { \t\t\t[%(capidx)d] = {
\t\t\t\t.target = %(cn)d,
\t\t\t\t.type = CAP_TYPE_MAP_PHYSMEM | CAP_RTYPE_CONTAINER, \t\t\t\t.type = CAP_TYPE_MAP_PHYSMEM | CAP_RTYPE_CONTAINER,
\t\t\t\t.access = CAP_MAP_READ | CAP_MAP_WRITE | CAP_MAP_EXEC | \t\t\t\t.access = CAP_MAP_READ | CAP_MAP_WRITE | CAP_MAP_EXEC |
\t\t\t\t\tCAP_MAP_CACHED | CAP_MAP_UNCACHED | CAP_MAP_UNMAP | CAP_MAP_UTCB, \t\t\t\t\tCAP_MAP_CACHED | CAP_MAP_UNCACHED | CAP_MAP_UNMAP | CAP_MAP_UTCB,

4
src/generic/container.c
View File

@@ -190,8 +190,8 @@ int init_pager(struct pager *pager,
* are initialized, which includes the pager thread ids * are initialized, which includes the pager thread ids
* and pager space ids. * and pager space ids.
* *
* Update all capability target ids that target such * This updates all capability target ids where the target
* run-time allocated resources. * is a run-time allocated resource with a new resource id.
*/ */
int update_dynamic_capids(struct kernel_resources *kres) int update_dynamic_capids(struct kernel_resources *kres)
{ {