Searched refs:cpu_vhint_data (Results 1 - 1 of 1) sorted by relevance

/seL4-camkes-master/projects/projects_libs/libtx2bpmp/include/tx2bpmp/
H A Dbpmp.h1419 * to allocate sizeof(cpu_vhint_data) sized block of memory and
1423 /** @brief IOVA address for the #cpu_vhint_data */
1424 uint32_t addr; /* struct cpu_vhint_data * */
1435 struct cpu_vhint_data { struct

Completed in 35 milliseconds