Add Promela model
[urcu.git] / urcu-asm.c
CommitLineData
0af68f5e
MD
1#include "urcu.h"
2
3void show_read_lock(void)
4{
5 asm volatile ("/* start */");
6 rcu_read_lock();
7 asm volatile ("/* end */");
8}
9
10void show_read_unlock(void)
11{
12 asm volatile ("/* start */");
13 rcu_read_unlock();
14 asm volatile ("/* end */");
15}
This page took 0.022096 seconds and 4 git commands to generate.