| /seL4-refos-master/libs/libmuslc/src/math/ |
| H A D | hypotf.c | 6 union {float f; uint32_t i;} ux = {x}, uy = {y}, ut; local
|
| H A D | hypot.c | 24 union {double f; uint64_t i;} ux = {x}, uy = {y}, ut; local
|
| /seL4-refos-master/libs/libmuslc/src/legacy/ |
| H A D | utmpx.c | 19 struct utmpx *getutxid(const struct utmpx *ut) argument
24 struct utmpx *getutxline(const struct utmpx *ut) argument
29 struct utmpx *pututxline(const struct utmpx *ut) argument
|
| /seL4-refos-master/libs/libsel4allocman/include/allocman/utspace/ |
| H A D | split.h | 25 cspacepath_t ut; member in struct:utspace_split_node
|
| /seL4-refos-master/projects/seL4_libs/libsel4allocman/include/allocman/utspace/ |
| H A D | split.h | 25 cspacepath_t ut; member in struct:utspace_split_node
|
| /seL4-refos-master/libs/libsel4allocman/src/utspace/ |
| H A D | split.c | 73 static int _insert_new_node(allocman_t *alloc, struct utspace_split_node **head, cspacepath_t ut, uintptr_t paddr) argument
[all...] |
| /seL4-refos-master/libs/libsel4utils/src/ |
| H A D | page_dma.c | 32 vka_object_t ut; member in struct:dma_alloc
88 vka_object_t ut; local
[all...] |
| /seL4-refos-master/projects/seL4_libs/libsel4allocman/src/utspace/ |
| H A D | split.c | 73 static int _insert_new_node(allocman_t *alloc, struct utspace_split_node **head, cspacepath_t ut, uintptr_t paddr) argument
[all...] |
| /seL4-refos-master/projects/seL4_libs/libsel4utils/src/ |
| H A D | page_dma.c | 32 vka_object_t ut; member in struct:dma_alloc
88 vka_object_t ut; local
[all...] |
| /seL4-refos-master/libs/libsel4vka/include/vka/ |
| H A D | object.h | 32 seL4_Word ut; member in struct:vka_object
|
| /seL4-refos-master/projects/seL4_libs/libsel4vka/include/vka/ |
| H A D | object.h | 32 seL4_Word ut; member in struct:vka_object
|
| /seL4-refos-master/libs/libsel4allocman/src/ |
| H A D | bootstrap.c | 308 static int _split_ut(bootstrap_info_t *bs, cspacepath_t ut, cspacepath_t p1, cspacepath_t p2, size_t size) { argument
321 static int _retype_cnode(bootstrap_info_t *bs, cspacepath_t ut, cspacepath_t cnode, seL4_Word sel4_size) { argument
|
| /seL4-refos-master/projects/seL4_libs/libsel4allocman/src/ |
| H A D | bootstrap.c | 308 static int _split_ut(bootstrap_info_t *bs, cspacepath_t ut, cspacepath_t p1, cspacepath_t p2, size_t size) { argument
321 static int _retype_cnode(bootstrap_info_t *bs, cspacepath_t ut, cspacepath_t cnode, seL4_Word sel4_size) { argument
|