x86, ticketlock: Clean up types and accessors