Searched defs:gicd_offset (Results 1 - 1 of 1) sorted by relevance
| /fuchsia/zircon/system/public/zircon/boot/ | ||
| H A D | driver-config.h | 42 uint64_t gicd_offset; member in struct:__anon650 54 uint64_t gicd_offset; member in struct:__anon651 |
Completed in 19 milliseconds