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