angr.procedures.linux\_kernel.gettid ==================================== .. automodule:: angr.procedures.linux_kernel.gettid