r0 = epoll_create(0x1000000)
r1 = openat$hpet(0xffffffffffffff9c, &(0x7f0000000080), 0x0, 0x0)
epoll_ctl$EPOLL_CTL_ADD(r0, 0x1, r1, &(0x7f00000000c0))