18219bbedf
RISC-V uses 39-bit virtual addressing rather than 48 bits so the 'high' bits of a pointer can be 39 or fewer bits on RISCV rather than 48. |
||
|---|---|---|
| .. | ||
| cap.h | ||
| cnode.h | ||
| endpoint.h | ||
| interrupt.h | ||
| notification.h | ||
| objecttype.h | ||
| reply.h | ||
| schedcontext.h | ||
| schedcontrol.h | ||
| structures.h | ||
| structures_32.bf | ||
| structures_64.bf | ||
| tcb.h | ||
| untyped.h | ||