m3front/derived/AtomicAddrModule.m3


generated by m3build

MODULE  AtomicAddrModule = AtomicModule (Addr, IsLockFreeAddr, StoreAddr, LoadAddr, SwapAddr, CompareSwapAddr, FenceAddr, FetchIncAddr, FetchDecAddr, FetchOrAddr, FetchXorAddr, FetchAndAddr) END AtomicAddrModule.