+++ /dev/null
-<?xml version="1.0"?>
-<facility name="memory">
- <description>The memory facility has memory management events.</description>
-
- <event name="page_alloc">
- <description>Page allocation</description>
- <field name="order"> <description>Order of the page to allocate</description> <uint size="4"/> </field>
- <field name="address"> <description>Assigned page address, or 0 if failed.</description> <pointer/> </field>
- </event>
-
- <event name="page_free">
- <description>Page free</description>
- <field name="order"> <description>Order of the page to free</description> <uint size="4"/> </field>
- <field name="address"> <description>Address of the page to free.</description> <pointer/> </field>
- </event>
-
- <event name="swap_in">
- <description>Page swapped into memory</description>
- <field name="address"> <description>Address of the page to swap in.</description> <pointer/> </field>
- </event>
-
- <event name="swap_out">
- <description>Page swapped to disk</description>
- <field name="address"> <description>Address of the page to swap out.</description> <pointer/> </field>
- </event>
-
- <event name="page_wait_start">
- <description>Staring to wait for a page</description>
- <field name="address"> <description>Address of the page we wait for.</description> <pointer/> </field>
- </event>
-
- <event name="page_wait_end">
- <description>Ending wait for a page</description>
- <field name="address"> <description>Address of the page we wait for.</description> <pointer/> </field>
- </event>
-
-</facility>