#include "libc/nt/codegen.h"
.imp	gdi32,__imp_D3DKMTReleaseKeyedMutex2,D3DKMTReleaseKeyedMutex2,1254