Home	Sort by: relevance | last modified time | path

Full Search in project(s): src Definition Symbol File Path History   | | Help

    Searched defs:erc_pmap_cookie (Results 1 - 1 of 1) sorted by relevancy

/src/sys/arch/x86/x86/
efi_machdep.c	807 void *erc_pmap_cookie; member in struct:efi_runtime_cookie 849 cookie->erc_pmap_cookie = pmap_activate_sync(efi_runtime_pmap); 862 pmap_deactivate_sync(efi_runtime_pmap, cookie->erc_pmap_cookie);

Completed in 13 milliseconds

Indexes created Fri Oct 03 15:10:06 GMT 2025