#1-
0xd3719d59	paravirt_ticketlocks_enabled	vmlinux	EXPORT_SYMBOL
