Searched defs:kernel_l1_low (Results 1 - 1 of 1) sorted by relevance
| /barrelfish-master/include/target/arm/barrelfish_kpi/ | ||
| H A D | arm_core_data.h | 39 lpaddr_t kernel_l1_low, kernel_l1_high, kernel_l2_vec; member in struct:arm_core_data |
Completed in 32 milliseconds