diff options
Diffstat (limited to 'chip/nrf51/ppi.h')
-rw-r--r-- | chip/nrf51/ppi.h | 42 |
1 files changed, 0 insertions, 42 deletions
diff --git a/chip/nrf51/ppi.h b/chip/nrf51/ppi.h deleted file mode 100644 index bbb74a2cf0..0000000000 --- a/chip/nrf51/ppi.h +++ /dev/null @@ -1,42 +0,0 @@ -/* Copyright 2016 The Chromium OS Authors. All rights reserved. - * Use of this source code is governed by a BSD-style license that can be - * found in the LICENSE file. - */ - -/* - * PPI channels are a way to connect NRF51 EVENTs to TASKs without software - * involvement. They are like SHORTs, except between peripherals. - * - * PPI groups are user-defined sets of channels that can be enabled and disabled - * together. - */ - -/* - * Reserve a pre-programmed PPI channel. - * - * Return EC_SUCCESS if ppi_chan is a pre-programmed channel that was not in - * use, otherwise returns EC_ERROR_BUSY. - */ -int ppi_request_pre_programmed_channel(int ppi_chan); - -/* - * Reserve an available PPI channel. - * - * Return EC_SUCCESS and set the value of ppi_chan to an available PPI - * channel. If no channel is available, return EC_ERROR_BUSY. - */ -int ppi_request_channel(int *ppi_chan); - -/* Release a PPI channel which was reserved with ppi_request_*_channel. */ -void ppi_release_channel(int ppi_chan); - -/* - * Reserve a PPI group. - * - * Return EC_SUCCESS and set the value of ppi_group to an available PPI - * group. If no group is available, return EC_ERROR_BUSY. - */ -int ppi_request_group(int *ppi_group); - -/* Release a PPI channel which was reserved with ppi_request_*_channel. */ -void ppi_release_group(int ppi_group); |