These properties are part of the XICS API. They deserve to appear
explicitely in the XICS header file.
Signed-off-by: NGreg Kurz <groug@kaod.org>
Signed-off-by: NDavid Gibson <david@gibson.dropbear.id.au>