portugalfuturista/seL4
2
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

mcs: refactor validFaultHandler for readability

Browse source 
Simplify definition and avoiding double negation in validFaultHandler.

Signed-off-by: Michael McInerney <michael.mcinerney@proofcraft.systems>
This commit is contained in:
Michael McInerney 2026-05-29 11:10:43 +09:30 committed by Gerwin Klein
parent 7eac2ceab8
commit 2d4c0e1a51
1 changed files with 4 additions and 8 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

12
src/object/tcb.c
View file

@ -1082,19 +1082,15 @@ static bool_t validFaultHandler(cap_t cap)
{
switch (cap_get_capType(cap)) {
case cap_endpoint_cap:
if (!cap_endpoint_cap_get_capCanSend(cap) ||
(!cap_endpoint_cap_get_capCanGrant(cap) &&
!cap_endpoint_cap_get_capCanGrantReply(cap))) {
return false;
}
break;
return (cap_endpoint_cap_get_capCanSend(cap) &&
(cap_endpoint_cap_get_capCanGrant(cap) ||
cap_endpoint_cap_get_capCanGrantReply(cap)));
case cap_null_cap:
/* just has no fault endpoint */
break;
return true;
default:
return false;
}
return true;
}
#endif