Entry | |
---|---|
R1 | 142 (&8E) |
R2 | Page block array describing the affected pages, with all attributes filled in |
R3 | Number of entries in page block array |
Exit | |
---|---|
All registers preserved |
This service is issued to inform recipients that the pages specified are about to be swapped with different pages, e.g. as a result of a Dynamic Area PreGrow handler requesting pages which are currently in use by another area.
This service call must not be claimed.
DMA operations involving these pages should be suspended until Service_PagesSafe is received.
The page swap operation is performed with IRQs disabled and with the FIQ vector temporarily claimed by the kernel; this makes the operation transparent to most software.