VMCI_HANDLE_ARRAY_HEADER_SIZE   13 drivers/misc/vmw_vmci/vmci_handle_array.c 	return VMCI_HANDLE_ARRAY_HEADER_SIZE +
VMCI_HANDLE_ARRAY_HEADER_SIZE   29 drivers/misc/vmw_vmci/vmci_handle_array.h 	((U32_MAX - VMCI_HANDLE_ARRAY_HEADER_SIZE - 1) /	\