home *** CD-ROM | disk | FTP | other *** search
- .set LVOIsProofA,-30
- .global LVOIsProofA
- .set LVOIsProofFromLockA,-36
- .global LVOIsProofFromLockA
- .set LVOAllocProofA,-42
- .global LVOAllocProofA
- .set LVOFreeProofA,-48
- .global LVOFreeProofA
- .set LVOLoadProofA,-54
- .global LVOLoadProofA
- .set LVOLoadProofFromLockA,-60
- .global LVOLoadProofFromLockA
- .set LVOSaveProofA,-66
- .global LVOSaveProofA
- .set LVOConvertToProofA,-72
- .global LVOConvertToProofA
- .set LVOConvertFromProofA,-78
- .global LVOConvertFromProofA
- .set LVOGetProofAttrsA,-84
- .global LVOGetProofAttrsA
- .set LVOSetProofAttrsA,-90
- .global LVOSetProofAttrsA
- .set LVOValidProofDesc,-96
- .global LVOValidProofDesc
- .set LVOAllocProofOwnerA,-102
- .global LVOAllocProofOwnerA
- .set LVOFreeProofOwnerA,-108
- .global LVOFreeProofOwnerA
- .set LVOLoadProofOwnerA,-114
- .global LVOLoadProofOwnerA
- .set LVOSaveProofOwnerA,-120
- .global LVOSaveProofOwnerA
- .set LVOSetProofOwnerAttrsA,-126
- .global LVOSetProofOwnerAttrsA
- .set LVOGetProofOwnerAttrsA,-132
- .global LVOGetProofOwnerAttrsA
- .set LVOSetProofOwnerEntry,-138
- .global LVOSetProofOwnerEntry
- .set LVOGetProofOwnerEntry,-144
- .global LVOGetProofOwnerEntry
- .set LVOAllocProofOwnerEntry,-150
- .global LVOAllocProofOwnerEntry
- .set LVOLoadProofFromBPTRA,-156
- .global LVOLoadProofFromBPTRA
-