VMCI_RESERVED_RESOURCE_ID_MAX
static u32 resource_id = VMCI_RESERVED_RESOURCE_ID_MAX + 1;
resource_id = VMCI_RESERVED_RESOURCE_ID_MAX + 1;