Searched defs:platform_info (Results 1 – 2 of 2) sorted by relevance
| /l4re-core-master/l4sys/include/ | ||
| A D | __kip-32bit.h | 104 struct l4_kip_platform_info platform_info; member |
| A D | __kip-64bit.h | 100 struct l4_kip_platform_info platform_info; member |
Completed in 6 milliseconds