From 394620bf08f8e6e763173368fa41575b90fda405 Mon Sep 17 00:00:00 2001 From: Brooks Davis Date: Fri, 24 Apr 2020 10:25:08 -0700 Subject: [PATCH] Use cheri_getlength over cheri_getlen. --- cheri-c-programming.tex | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff --git a/cheri-c-programming.tex b/cheri-c-programming.tex index adbe1aa..d7cb70b 100644 --- a/cheri-c-programming.tex +++ b/cheri-c-programming.tex @@ -1308,11 +1308,10 @@ \subsection{Retrieving capability properties} % This macro wraps the compiler built-in % \cfunc{\_\_builtin\_cheri\_address\_get}. -\item[\ccode{size\_t cheri\_getlen(void *c)}] Return the length of the bounds for the capability \cvar{c}. +\item[\ccode{size\_t cheri\_getlength(void *c)}] Return the length of the bounds for the capability \cvar{c}. % This macro wraps the compiler built-in % \cfunc{\_\_builtin\_cheri\_length\_get}. (The base plus the length gives the upper bound on \cvar{c}'s address.) - \arnote{I would quite like it if we used ``cheri\_getlength'' instead and deprecated the ``len'' version.} \item[\ccode{size\_t cheri\_getoffset(void *c)}] Return the difference between the address and the lower bound of the capability \cvar{c}. % This macro wraps the compiler built-in