* src/pic/device.c (pic14_assignConfigWordValue): remember assignments to
[fw/sdcc] / src / pic / device.h
index 5fb8a44048a1658b98135de09edf77375c4c450c..b80af23667c554bdbfeadbffbcd1ba6e59ce46f8 100644 (file)
@@ -107,8 +107,12 @@ int REGallBanks(regs *reg);
 void addMemRange(memRange *r, int type);
 void setMaxRAM(int size);
 void setDefMaxRam(void);
-unsigned getMaxRam(void);
-int getHasSecondConfigReg(void);
+
+void pic14_assignConfigWordValue(int address, int value);
+int pic14_emitConfigWord (FILE * vFile);
+int pic14_getConfigWord(int address);
+unsigned pic14_getMaxRam(void);
+int pic14_getHasSecondConfigReg(void);
 int pic14_getSharebankSize(void);
 int pic14_getSharebankAddress(void);