03c71b63e1
Change to the order of operations and timing behaviour of invokeUntyped_Retype. The Retype operation now zeroes the entire range of the Untyped cap (if it is being used for the first time) before installing any objects. This avoids the need for long-running initialisation of large objects, whose initial contents are always zero. The initial zeroing phase is preemptible, and may take multiple timeslices to complete. |
||
|---|---|---|
| .. | ||
| cap.h | ||
| cnode.h | ||
| endpoint.h | ||
| interrupt.h | ||
| notification.h | ||
| objecttype.h | ||
| structures.h | ||
| structures_32.bf | ||
| structures_64.bf | ||
| tcb.h | ||
| untyped.h | ||