- p("super(" + pageSize + "," + totalPages + "," + (fastMem?"false":"true") + ");");
- p("entryPoint = " + toHex(elf.header.entry) + ";");
- if(userInfo != null) {
- p("userInfoBase=" + toHex(userInfo.addr) + ";");
- p("userInfoSize=" + userInfo.size + ";");
- }
- p("gp = " + toHex(gp.addr) + ";");
- if(onePage)
- p("brkAddr = " + toHex((highestAddr+4095)&~4095) + ";");
- else
- p("brkAddr = " + toHex((highestAddr+pageSize-1)&~(pageSize-1)) + ";");