Home
last modified time | relevance | path

Searched refs:right (Results 1 – 4 of 4) sorted by relevance

/FreeRTOS-Plus-TCP-v4.0.0/docs/doxygen/
Dstyle.css10 /* Set the margins to place a small amount of whitespace on the left and right
14 margin-right:4em;
51 margin-right: 2em;
58 margin-right: 2em;
74 margin-right: 0px !important;
93 margin-right: 4em;
Dconfig.doxyfile1902 # projects and redirect the results back to the right project.
/FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/
Dmake_proof_makefiles.py285 right = eval_single_node(node.comparators[0])
287 return op(left, right)
290 right = eval_single_node(node.right)
292 return op(left, right)
304 right = eval_single_node(node.args[1])
305 return valid_calls[node.func.id](left, right)
/FreeRTOS-Plus-TCP-v4.0.0/source/include/
DFreeRTOS_IP_Private.h400 #define vFlip_16( left, right ) \ argument
403 ( left ) = ( right ); \
404 ( right ) = tmp; \
407 #define vFlip_32( left, right ) \ argument
410 ( left ) = ( right ); \
411 ( right ) = tmp; \