fd2f5ec85b
Previously the return value of cap_get_capPtr was compared to 0 in sameRegionAs to emulate a check in the abstract specification that tests if the cap is a physical cap or not. Overloading 0 results in a scenario where a legitimate deviceUntyped's children do not get considered to be children because they have a capPtr of 0. This change adds and explicit function that returns whether or not a capability is physical or not, and uses that in sameRegionAs |
||
|---|---|---|
| .. | ||
| cnode.h | ||
| endpoint.h | ||
| interrupt.h | ||
| notification.h | ||
| objecttype.h | ||
| structures.h | ||
| structures_32.bf | ||
| tcb.h | ||
| untyped.h | ||