Searched defs:config_page (Results 1 – 4 of 4) sorted by relevance
554 vm_address_t config_page; member595 vm_address_t config_page = 0x0; in ffi_trampoline_table_alloc() local
162 vm_address_t config_page; member190 vm_address_t config_page; in ffi_trampoline_table_alloc() local
49797 void *config_page; member