Searched refs:day (Results 1 - 10 of 10) sorted by relevance

/seL4-refos-master/projects/refos/impl/apps/terminal/src/
H A Dprint_time.c23 /*! @brief Returns the day as a string */
24 char * day_to_string(int day) argument
26 return weekdays[day - 1];
/seL4-refos-master/apps/terminal/src/
H A Dprint_time.c23 /*! @brief Returns the day as a string */
24 char * day_to_string(int day) argument
26 return weekdays[day - 1];
/seL4-refos-master/libs/libplatsupport/plat_include/pc99/platsupport/plat/
H A Drtc.h21 unsigned int day; member in struct:rtc_time_date
/seL4-refos-master/projects/util_libs/libplatsupport/plat_include/pc99/platsupport/plat/
H A Drtc.h21 unsigned int day; member in struct:rtc_time_date
/seL4-refos-master/libs/libplatsupport/src/plat/pc99/
H A Drtc.c56 unsigned char day; member in struct:rtc_raw
70 time_date->day = get_RTC_register(port_ops, 0x07);
100 time_date->day = raw_time.day;
113 time_date->day = UNBCD(time_date->day);
/seL4-refos-master/projects/util_libs/libplatsupport/src/plat/pc99/
H A Drtc.c56 unsigned char day; member in struct:rtc_raw
70 time_date->day = get_RTC_register(port_ops, 0x07);
100 time_date->day = raw_time.day;
113 time_date->day = UNBCD(time_date->day);
/seL4-refos-master/projects/refos/impl/apps/nethack/src/nethack-3.4.3/include/
H A Ddef_os2.h109 UINT day : 5; member in struct:__anon682
/seL4-refos-master/apps/nethack/src/nethack-3.4.3/include/
H A Ddef_os2.h109 UINT day : 5; member in struct:__anon4
/seL4-refos-master/projects/refos/impl/apps/timer_server/src/
H A Ddevice_timer.c186 timeInfo.tm_mday = rtcTimeDate.day;
/seL4-refos-master/apps/timer_server/src/
H A Ddevice_timer.c186 timeInfo.tm_mday = rtcTimeDate.day;

Completed in 118 milliseconds