[ol7_x86_64_lockedlist]
