aboutsummaryrefslogtreecommitdiff
path: root/src
diff options
context:
space:
mode:
authorGravatar Jorge Aparicio <jorge@japaric.io> 2017-05-08 13:27:29 -0500
committerGravatar Jorge Aparicio <jorge@japaric.io> 2017-05-08 13:27:29 -0500
commitacdfa6f09d27fea43926e1d286f13f27a811a203 (patch)
tree62f7a9d762f87c203de9b44722892207d540a8e2 /src
parentc1a0f8173af87c55aa75f1c8a7a3a9b46a624b48 (diff)
downloadrtic-acdfa6f09d27fea43926e1d286f13f27a811a203.tar.gz
rtic-acdfa6f09d27fea43926e1d286f13f27a811a203.tar.zst
rtic-acdfa6f09d27fea43926e1d286f13f27a811a203.zip
drop the Ceiling newtype
it's not required as the user never deal with Ceiling tokens
Diffstat (limited to 'src')
-rw-r--r--src/lib.rs19
1 files changed, 6 insertions, 13 deletions
diff --git a/src/lib.rs b/src/lib.rs
index 5de71fbd..57f7f428 100644
--- a/src/lib.rs
+++ b/src/lib.rs
@@ -494,7 +494,7 @@ pub struct Resource<T, C> {
data: UnsafeCell<T>,
}
-impl<T, RC> Resource<T, Ceiling<RC>>
+impl<T, RC> Resource<T, RC>
where
RC: GreaterThanOrEqual<U0>,
RC: LessThanOrEqual<UMax>,
@@ -508,7 +508,7 @@ where
}
}
-impl<T, RC> Resource<T, Ceiling<RC>> {
+impl<T, RC> Resource<T, RC> {
/// Grants data race free and deadlock free access to the resource data
///
/// This operation is zero cost and doesn't impose any additional blocking.
@@ -552,7 +552,7 @@ where
_ceiling: PhantomData<PC>,
}
-impl<P, PC> Peripheral<P, Ceiling<PC>>
+impl<P, PC> Peripheral<P, PC>
where
PC: GreaterThanOrEqual<U0>,
PC: LessThanOrEqual<UMax>,
@@ -567,7 +567,7 @@ where
}
}
-impl<Periph, PC> Peripheral<Periph, Ceiling<PC>> {
+impl<Periph, PC> Peripheral<Periph, PC> {
/// See [Resource.access](./struct.Resource.html#method.access)
pub fn access<'cs, TP, PT>(
&'static self,
@@ -684,13 +684,6 @@ where
{
}
-/// Resource ceiling
-pub struct Ceiling<N> {
- _marker: PhantomData<N>,
-}
-
-impl<N> !Send for Ceiling<N> {}
-
/// Preemption threshold
pub struct Threshold<T> {
_marker: PhantomData<T>,
@@ -744,11 +737,11 @@ pub unsafe trait ResourceLike {
type Ceiling;
}
-unsafe impl<P, PC> ResourceLike for Peripheral<P, Ceiling<PC>> {
+unsafe impl<P, PC> ResourceLike for Peripheral<P, PC> {
type Ceiling = PC;
}
-unsafe impl<T, RC> ResourceLike for Resource<T, Ceiling<RC>> {
+unsafe impl<T, RC> ResourceLike for Resource<T, RC> {
type Ceiling = RC;
}