structodp__ticketlock__s.js

var structodp__ticketlock__s =
[
    [ "next_ticket", "structodp__ticketlock__s.html#ae602e047f2bb22ad9265c2eed33aba94", null ],
    [ "cur_ticket", "structodp__ticketlock__s.html#afc426112592c44e8b66815172a252895", null ]
];