clock_adjtime(CLOCK_MONOTONIC, NULL) = -1 EFAULT (Bad address)
clock_adjtime(CLOCK_REALTIME, 0xffffb57e0fff) = -1 EFAULT (Bad address)
+++ exited with 0 +++
