Summary: 5 instances, 5 unique

Text	Count
* TODO: if guest psw has per enabled, otherwise 0s!	1
/* TODO: s390 cannot support io_remap_pfn_range... */	1
/* TODO: Instruction-fetching-nullification not allowed for now */	1
* Pages used for the page tables is a different story. FIXME: more	1
/* TODO: Check altered address/address space */	1