Updated PCI IDs to latest snapshot.
[tangerine.git] / compiler / purify / src / access.c
blob39641f123fa95b6adfb71c8802bdbb233e09cda4
1 #include <stdio.h>
2 #include "debug.h"
3 #include "error.h"
4 #include "hash.h"
6 void Purify_CheckRead (char * addr, long size)
8 #if DEBUG
9 printf ("Purify_CheckRead (addr=%p, size=%ld)\n", addr, size);
10 #endif
12 if (!Purify_CheckMemoryAccess (addr, size, PURIFY_MemAccess_Read))
13 Purify_PrintAccessError ("Read", addr, size);
16 void Purify_CheckWrite (char * addr, long size)
18 #if DEBUG
19 printf ("Purify_CheckWrite (addr=%p, size=%ld)\n", addr, size);
20 #endif
22 if (!Purify_CheckMemoryAccess (addr, size, PURIFY_MemAccess_Write))
23 Purify_PrintAccessError ("Write", addr, size);
25 #if DEBUG
26 Purify_PrintMemory ();
27 #endif