Searched refs:efi_rs_using_pgtables (Results 1 – 4 of 4) sorted by relevance
36 bool efi_rs_using_pgtables(void);
55 bool efi_rs_using_pgtables(void) in efi_rs_using_pgtables() function
40 if ( efi_rs_using_pgtables() ) in mapcache_current_vcpu()
139 bool efi_rs_using_pgtables(void) in efi_rs_using_pgtables() function
Completed in 7 milliseconds