Added mutex for multiple SPI devices on the same SPI bus

Fork of cc3000_hostdriver_mbedsocket by Martin Kojtal

Revision:
22:d23c59fec0dc
Parent:
20:30b6ed7bf8fd
Child:
26:456f73ed2a75
--- a/cc3000_hci.cpp	Thu Oct 03 17:15:45 2013 +0200
+++ b/cc3000_hci.cpp	Thu Oct 03 20:56:45 2013 +0000
@@ -52,6 +52,8 @@
 
 uint16_t  cc3000_hci::command_send(uint16_t op_code, uint8_t *buffer, uint8_t length) {
     unsigned char *stream;
+    
+    DBG_HCI_CMD("Command Sent : 0x%04X", op_code);
 
     stream = (buffer + SPI_HEADER_SIZE);