Am Mon, 5 Jul 2021 10:51:50 +0100
schrieb Andrew Cooper <andrew.cooper3@citrix.com>:

> All type fields are uniformly uint32_t elsewhere.

To me it looks like xc_get_pfn_type_batch writes to an array of xen_pfn_t.

Olaf