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

/seL4-test-master/projects/util_libs/libplatsupport/src/
H A Dltimer.h62 pmem_region_t temp_pmem; local
76 temp_vmap = ps_fdt_index_map_register(ops, cookie, reg_choice, &temp_pmem);
95 *pmem = temp_pmem;

Completed in 23 milliseconds