Searched refs:xlat_page_current (Results 1 – 3 of 3) sorted by relevance
35 void *xlat_malloc(unsigned long *xlat_page_current, size_t size) in xlat_malloc() argument42 if ( unlikely(size > xlat_page_left_size(*xlat_page_current)) ) in xlat_malloc()45 ret = (void *) *xlat_page_current; in xlat_malloc()46 *xlat_page_current += size; in xlat_malloc()72 unsigned long xlat_page_current; in compat_set_cx_pminfo() local74 xlat_malloc_init(xlat_page_current); in compat_set_cx_pminfo()76 xen_power = xlat_malloc_array(xlat_page_current, in compat_set_cx_pminfo()90 xen_states = xlat_malloc_array(xlat_page_current, \ in compat_set_cx_pminfo()
35 unsigned long xlat_page_current; in compat_set_px_pminfo() local37 xlat_malloc_init(xlat_page_current); in compat_set_px_pminfo()39 xen_perf = xlat_malloc_array(xlat_page_current, in compat_set_px_pminfo()
18 #define xlat_page_left_size(xlat_page_current) \ argument19 (xlat_page_start + xlat_page_size - xlat_page_current)21 #define xlat_malloc_init(xlat_page_current) do { \ argument22 xlat_page_current = xlat_page_start; \25 extern void *xlat_malloc(unsigned long *xlat_page_current, size_t size);
Completed in 4 milliseconds