Imagelibrary/seL4
1
0
Fork 1
mirror of https://github.com/seL4/seL4.git synced 2026-04-04 22:39:54 +00:00
Code Issues Packages Projects Releases Wiki Activity

smmu+manual: typo and small sentence tune

Browse Source 
Signed-off-by: Rafal Kolanski <rafal.kolanski@proofcraft.systems>
This commit is contained in:
Rafal Kolanski
2022-01-11 16:27:05 +11:00
committed by Gerwin Klein
parent e1b73a45eb
commit c3b4df0f30
3 changed files with 4 additions and 4 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
manual/parts/io.tex
View File

@@ -316,9 +316,9 @@ VSpace used by the bank with the following API:
\begin{description}
\item[\apifunc{seL4\_ARM\_CB\_AssignVspace}{arm_cb_assignvspace}] configures
the context bank to use the provided VSapce root for translations.
the context bank to use the provided VSpace root for translations.
\item[\apifunc{seL4\_ARM\_CB\_UnassignVspace}{arm_cb_unassignvspace}] removes
the configured VSpace and conducting a TLB invalidation.
the configured VSpace and invalidates the TLB.
\end{description}
The SMMU-v2 uses the same paging structure as the MMU (AArch\_64 and AArch\_32

2
src/arch/arm/64/model/statedata.c
View File

@@ -118,7 +118,7 @@ compile_assert(smmuStateSIDCNodeSize, sizeof(smmuStateSIDNode) >= ((SMMU_MAX_SID
/*recording the state of the created cb caps*/
bool_t smmuStateCBTable[SMMU_MAX_CB];
/* CNode containing the vcapce root cap that is assigned to sids*/
/* CNode containing the vspace root cap that is assigned to sids*/
cte_t smmuStateCBNode[BIT(SMMU_CB_CNODE_SLOT_BITS)] ALIGN(BIT(SMMU_CB_CNODE_SLOT_BITS + seL4_SlotBits));
compile_assert(smmuStateCBCNodeSize, sizeof(smmuStateCBNode) >= ((SMMU_MAX_CB) * sizeof(cte_t)));
/*recording the context bank to ASID relationship*/

2
src/arch/arm/object/smmu.c
View File

@@ -361,7 +361,7 @@ exception_t smmu_delete_cb(cap_t cap)
void smmu_cb_delete_vspace(word_t cb, asid_t asid)
{
/* Deleting the vsapce cap stored in context bank's CNode, causing:
/* Deleting the vspace cap stored in context bank's CNode, causing:
* -reset the relationship between context bank and vspace's ASID
* -disabe the context bank as its vspace no longer exists*/
smmuStateCBAsidTable[cb] = ASID_INVALID;