#include <errno.h>
#include <fcntl.h>
#include <string.h>
#include <stdio.h>
#include <unistd.h>

#include <OS.h>

#include <hpet_interface.h>

int main()
{
        int hpetFD = open("/dev/misc/hpet", O_RDWR);
        if (hpetFD < 0) {
                printf("Cannot open HPET driver: %s\n", strerror(errno));
                return -1;      
        }

        uint64 value, newValue;
        read(hpetFD, &value, sizeof(uint64));

        snooze(1000000);

        read(hpetFD, &newValue, sizeof(uint64));
        printf("HPET counter value difference (1 sec): %lld\n", newValue - value);

        status_t status;
        bigtime_t timeValue = 2000000;
        printf("Waiting 2 seconds...\n");
        status = ioctl(hpetFD, HPET_WAIT_TIMER, &timeValue, sizeof(timeValue));
        printf("%s.\n", strerror(status));

        timeValue = 5000000;
        printf("Waiting 5 seconds...\n");
        status = ioctl(hpetFD, HPET_WAIT_TIMER, &timeValue, sizeof(timeValue));
        printf("%s.\n", strerror(status));

        timeValue = 1000000;
        printf("Waiting 1 second...\n");
        status = ioctl(hpetFD, HPET_WAIT_TIMER, &timeValue, sizeof(timeValue));
        printf("%s.\n", strerror(status));

        close(hpetFD);

        return 0;
}