max_capsule_size  252 drivers/xen/efi.c 	*max_size = efi_data(op).u.query_capsule_capabilities.max_capsule_size;
max_capsule_size  201 include/xen/interface/platform.h 			uint64_t max_capsule_size;