Searched refs:gicd_offset (Results 1 – 1 of 1) sorted by relevance

/system/public/zircon/boot/
A D	driver-config.h	49 uint64_t gicd_offset; member 61 uint64_t gicd_offset; member

Completed in 2 milliseconds

Last Index update Fri Aug 22 02:51:41 CST 2025