#include <fcntl.h>
#include <linux/mc146818rtc.h>
#include <sys/ioctl.h>

void main(){
  printf("RTC_PIE_ON: %d\n",RTC_PIE_ON);
  printf("RTC_IRQP_SET: %d\n",RTC_IRQP_SET);
}