/seL4-camkes-master/projects/util_libs/libplatsupport/include/platsupport/ |
H A D | ltimer.h | 103 * @param[out] resolution variable to read the resoltion value into 106 int (*get_resolution)(void *data, uint64_t *resolution); 138 static inline int ltimer_get_resolution(ltimer_t *timer, uint64_t *resolution) argument 145 if (!resolution) { 155 return timer->get_resolution(timer->data, resolution);
|
/seL4-camkes-master/projects/util_libs/libplatsupport/src/plat/am335x/ |
H A D | ltimer.c | 42 static int get_resolution(void *data, uint64_t *resolution) argument 44 *resolution = NS_IN_MS;
|
/seL4-camkes-master/projects/util_libs/libplatsupport/src/mach/nvidia/ |
H A D | ltimer.c | 45 static int get_resolution(void *data, uint64_t *resolution) argument
|
/seL4-camkes-master/projects/util_libs/libplatsupport/src/mach/imx/ |
H A D | ltimer.c | 43 static int get_resolution(void *data, uint64_t *resolution) argument
|
/seL4-camkes-master/projects/util_libs/libplatsupport/src/mach/exynos/ |
H A D | ltimer.c | 40 static int get_resolution(void *data, uint64_t *resolution) argument
|
/seL4-camkes-master/projects/util_libs/libplatsupport/src/ |
H A D | ltimer.h | 101 static int get_resolution_dummy(void *data, uint64_t *resolution) argument
|
/seL4-camkes-master/projects/util_libs/libplatsupport/src/mach/zynq/ |
H A D | ltimer.c | 50 static int get_resolution(void *data, uint64_t *resolution) argument
|
/seL4-camkes-master/projects/util_libs/libplatsupport/src/mach/omap/ |
H A D | ltimer.c | 39 static int get_resolution(void *data, uint64_t *resolution) argument
|
/seL4-camkes-master/projects/picotcp/docs/user_manual/ |
H A D | chap_api_sntp_c.tex | 11 Function to sync the local time to a given sntp server in string notation. DNS resolution will be done automatically.
|
H A D | chap_api_mdns.tex | 115 \item \texttt{callback} - Callback function that gets called when \textbf{\emph{ALL}} records in the tree are successfully registered on the network. Records in the returned tree can differ from records originally registered due to conflict-resolution and such. 222 The initialisation-callback can get called multiple times during run-time due to \emph{passive conflict detection}. A passive conflict occurs for unique records when a faulty Multicast DNS-responder doesn't apply conflict resolution after an occurred conflict. A passive conflict can also occur when a peer registers a \textbf{\emph{shared}} record with the same name and type combination as a \textbf{\emph{unique}} record that the local host already successfully registered on the network. Because of that, shared records have priority over unique records, so unfortunately the local host has to apply the conflict resolution-mechanism to it's earlier uniquely verified record. To be able to notify the application of an updated unique record, the callback gets called given in the initialisation-function. But since that callback maybe parses the returned records as the hostname-records and this isn't necessarily the case when a passive conflict occurs, a mechanism is needed to differ hostname-records from other records. This preprocessor-macro allows this.
|
/seL4-camkes-master/projects/util_libs/libplatsupport/src/plat/bcm2837/ |
H A D | ltimer.c | 131 static int get_resolution(void *data, uint64_t *resolution) argument
|
/seL4-camkes-master/projects/util_libs/libplatsupport/src/plat/odroidc2/ |
H A D | ltimer.c | 104 static int get_resolution(void *data, uint64_t *resolution) argument
|
/seL4-camkes-master/projects/util_libs/libplatsupport/src/arch/arm/ |
H A D | generic_ltimer.c | 122 static int get_resolution(void *data, uint64_t *resolution) argument
|
/seL4-camkes-master/projects/util_libs/libplatsupport/src/plat/hifive/ |
H A D | ltimer.c | 130 static int get_resolution(void *data, uint64_t *resolution) argument
|
/seL4-camkes-master/projects/util_libs/libplatsupport/src/plat/pc99/ |
H A D | ltimer.c | 183 static int get_resolution(void *data, uint64_t *resolution) argument
|