prctl$PR_SET_TSC(0x4d, 0x1)
timer_create(0x0, 0x0, &(0x7f0000000440))
timer_create(0x0, 0x0, &(0x7f0000000100))