Broadcom in its $7.5 billion revolving credit facility