public static void setTIB(BootImageInterface bootImage, int refOffset, int tibAddr, VM_Type type) { VM_JavaHeader.setTIB(bootImage, refOffset, tibAddr, type);
public static void setTIB(VM_Address ptr, Object[] tib) { setTIB(VM_Magic.addressAsObject(ptr),tib);
  public static void setTIB(BootImageInterface bootImage, int refOffset, int tibAddr, VM_Type type) {    VM_JavaHeader.setTIB(bootImage, refOffset, tibAddr, type);  }