equal
deleted
inserted
replaced
42 |
42 |
43 private static synchronized void initialize(TypeDataBase db) throws WrongTypeException { |
43 private static synchronized void initialize(TypeDataBase db) throws WrongTypeException { |
44 Type type = db.lookupType("PhaseCFG"); |
44 Type type = db.lookupType("PhaseCFG"); |
45 numBlocksField = new CIntField(type.getCIntegerField("_num_blocks"), 0); |
45 numBlocksField = new CIntField(type.getCIntegerField("_num_blocks"), 0); |
46 blocksField = type.getAddressField("_blocks"); |
46 blocksField = type.getAddressField("_blocks"); |
47 bbsField = type.getAddressField("_bbs"); |
47 bbsField = type.getAddressField("_node_to_block_mapping"); |
48 brootField = type.getAddressField("_broot"); |
48 brootField = type.getAddressField("_broot"); |
49 } |
49 } |
50 |
50 |
51 private static CIntField numBlocksField; |
51 private static CIntField numBlocksField; |
52 private static AddressField blocksField; |
52 private static AddressField blocksField; |