Как python определяет PID, казалось бы, без обычных системных вызовов в Linux?

При выполнении следующей команды

strace -f python3 -c 'import os; print(os.getpid())'

Я заметил, что strace не перехватывает вызов системного вызова getpid(2). Сначала я подумал, что это произошло из-за того, что glibc кэширует pid, но не должно быть pid для кэширования libc без хотя бы одного реального системного вызова. Затем я подумал, что, возможно, виновником был vdso, но запуск программы на C, которая выполняет этот системный вызов через libc, показывает вызов getpid при трассировке. В конце концов я сдался и посмотрел исходный код модуля Python os.getpid, который, по-видимому, определен в Modules/posixmodule.c. К моему удивлению (и последующему замешательству), он делает обычный вызов getpid!

Итак, мой вопрос: как python определяет результат os.getpid? и если такое значение действительно получено вызовом getpid, как на самом деле выполняется этот вызов?