r0 = openat$hpet(0xffffffffffffff9c, &(0x7f00000005c0), 0x143480, 0x0)
close(r0)