Searched defs:vgicc_fpage (Results 1 – 1 of 1) sorted by relevance

/l4re-core-master/l4sys/include/
A D	__task-arm.h	46 l4_task_vgicc_map_u(l4_cap_idx_t task, l4_fpage_t vgicc_fpage, in l4_task_vgicc_map_u() 56 l4_task_vgicc_map(l4_cap_idx_t task, l4_fpage_t vgicc_fpage) L4_NOTHROW in l4_task_vgicc_map()

Completed in 3 milliseconds

Last Index update Sun Aug 20 00:18:20 CST 2023