RTOS/seL4
1
0
Fork 0
forked from Imagelibrary/seL4
Code Pull Requests Activity

trivial: Improve formatting in isMDBParentOf

Browse Source 
Signed-off-by: Robbie VanVossen <robert.vanvossen@dornerworks.com>
This commit is contained in:
Robbie VanVossen
2023-08-15 08:54:38 -04:00
committed by Kent McLeod
parent 45bf84798c
commit 321bc31e4a
1 changed files with 4 additions and 6 deletions
Download Patch File Download Diff File Expand all files Collapse all files

10
src/object/cnode.c
View File

@@ -800,9 +800,8 @@ bool_t PURE isMDBParentOf(cte_t *cte_a, cte_t *cte_b)
if (badge == 0) {
return true;
}
return
(badge == cap_notification_cap_get_capNtfnBadge(cte_b->cap)) &&
!mdb_node_get_mdbFirstBadged(cte_b->cteMDBNode);
return (badge == cap_notification_cap_get_capNtfnBadge(cte_b->cap)) &&
!mdb_node_get_mdbFirstBadged(cte_b->cteMDBNode);
break;
}
@@ -814,9 +813,8 @@ bool_t PURE isMDBParentOf(cte_t *cte_a, cte_t *cte_b)
if (badge == 0) {
return true;
}
return
(badge == cap_smc_cap_get_capSMCBadge(cte_b->cap)) &&
!mdb_node_get_mdbFirstBadged(cte_b->cteMDBNode);
return (badge == cap_smc_cap_get_capSMCBadge(cte_b->cap)) &&
!mdb_node_get_mdbFirstBadged(cte_b->cteMDBNode);
break;
}
#endif