#include "AM.h"
#include "Serial.h"
-module BaseStationP {
+module BaseStationP @safe() {
uses {
interface Boot;
interface SplitControl as SerialControl;
uint8_t inch2, // second input channel
uint8_t sref2 // second reference voltage
-)
+) @safe()
{
uses {
interface Boot;
uint8_t sht, // sample-hold-time
uint8_t sampcon_ssel, // clock source sampcon signal
uint8_t sampcon_id // clock divider sampcon
-)
+) @safe()
{
uses {
interface Boot;
*
* @author David Gay
*/
-module RandRWC {
+module RandRWC @safe() {
uses {
interface Boot;
interface Leds;
#include "AM.h"
#include "Serial.h"
-module BaseStationP {
+module BaseStationP @safe() {
uses {
interface Boot;
interface SplitControl as SerialControl;
* @author David Gay
*/
-module At45dbP {
+module At45dbP @safe() {
provides {
interface Init;
interface At45db;
#include "Storage.h"
-module BlockStorageP {
+module BlockStorageP @safe() {
provides {
interface BlockWrite[uint8_t blockId];
interface BlockRead[uint8_t blockId];
#include "Storage.h"
#include "crc.h"
-module ConfigStorageP {
+module ConfigStorageP @safe() {
provides {
interface Mount[uint8_t id];
interface ConfigStorage[uint8_t id];
* @author David Gay
*/
-generic module HplAt45dbByteC(int sectorSizeLog2) {
+generic module HplAt45dbByteC(int sectorSizeLog2) @safe() {
provides interface HplAt45db;
uses {
interface Resource;
* @author: Jonathan Hui <jwhui@cs.berkeley.edu>
*/
-module LogStorageP {
+module LogStorageP @safe() {
provides {
interface LogRead[uint8_t logId];
interface LogWrite[uint8_t logId];
#include <Timer.h>
-generic module Atm128UartP(){
+generic module Atm128UartP() @safe() {
provides interface Init;
provides interface StdControl;
*/
#include "Timer.h"
-module AdcStreamP {
+module AdcStreamP @safe() {
provides {
interface Init @atleastonce();
interface ReadStream<uint16_t>[uint8_t client];
generic module HplAtm128GeneralIOPinP (uint8_t port_addr,
uint8_t ddr_addr,
uint8_t pin_addr,
- uint8_t bit)
+ uint8_t bit) @safe()
{
provides interface GeneralIO as IO;
}
generic module HplAtm128GeneralIOSlowPinP (uint8_t port_addr,
uint8_t ddr_addr,
uint8_t pin_addr,
- uint8_t bit)
+ uint8_t bit) @safe()
{
provides interface GeneralIO as IO;
}
generic module HplAtm128InterruptPinP (uint8_t ctrl_addr,
uint8_t edge0bit,
uint8_t edge1bit,
- uint8_t bit)
+ uint8_t bit) @safe()
{
provides interface HplAtm128Interrupt as Irq;
uses interface HplAtm128InterruptSig as IrqSignal;
*
*/
-module Atm128SpiP {
+module Atm128SpiP @safe() {
provides {
interface Init;
interface SpiByte;
#include <Atm128Timer.h>
-module HplAtm128Timer1P
+module HplAtm128Timer1P @safe()
{
provides {
// 16-bit Timers
* @date June 19 2006
*/
-module CC1000ActiveMessageP {
+module CC1000ActiveMessageP @safe() {
provides {
interface AMSend[am_id_t id];
interface Receive[am_id_t id];
* @author David Gay
*/
-module CC1000CsmaP {
+module CC1000CsmaP @safe() {
provides {
interface Init;
interface SplitControl;
* @author David Gay
*/
-module CC1000SendReceiveP {
+module CC1000SendReceiveP @safe() {
provides {
interface Init;
interface StdControl;
#include "message.h"
#include "AM.h"
-module CC2420ReceiveP {
+module CC2420ReceiveP @safe() {
provides interface Init;
provides interface StdControl;
* @version $Revision$ $Date$
*/
-module CC2420SpiP {
+module CC2420SpiP @safe() {
provides {
interface ChipSpiResource;
#include "crc.h"
#include "message.h"
-module CC2420TransmitP {
+module CC2420TransmitP @safe() {
provides interface Init;
provides interface StdControl;
* ========================================================================
*/
-module AdcP {
+module AdcP @safe() {
provides {
interface Read<uint16_t> as Read[uint8_t client];
interface ReadNow<uint16_t> as ReadNow[uint8_t client];
*/
#include "Timer.h"
-module AdcStreamP {
+module AdcStreamP @safe() {
provides {
interface Init @atleastonce();
interface ReadStream<uint16_t>[uint8_t client];
#include <Msp430Adc12.h>
#include <Msp430Dma.h>
-module Msp430Adc12DMAP
+module Msp430Adc12DMAP @safe()
{
provides {
interface Msp430Adc12SingleChannel as SingleChannel[uint8_t id];
*/
#include <Msp430Adc12.h>
-module Msp430Adc12ImplP
+module Msp430Adc12ImplP @safe()
{
provides {
interface Init;
uint16_t DMAxDA_addr,
uint16_t DMAxSZ_addr,
uint16_t DMAxTSEL_mask,
- uint16_t DMAxTSEL_shift ) {
+ uint16_t DMAxTSEL_shift ) @safe() {
provides interface HplMsp430DmaChannel as DMA;
uses interface HplMsp430DmaInterrupt as Interrupt;
uint8_t port_dir_addr,
uint8_t port_sel_addr,
uint8_t pin
- )
+ ) @safe()
{
provides interface HplMsp430GeneralIO as IO;
}
generic module Msp430TimerCapComP(
uint16_t TxCCTLx_addr,
uint16_t TxCCRx_addr
- )
+ ) @safe()
{
provides interface Msp430TimerControl as Control;
provides interface Msp430Compare as Compare;