Searched defs:sl_map_large30 (Results 1 - 1 of 1) sorted by relevance
| /barrelfish-master/usr/acpi/ | ||
| H A D | vtd_sl_paging.h | 159 static inline void sl_map_large30(union sl_ptable_entry *entry, genpaddr_t base, uint64_t bitmap) function |
Completed in 27 milliseconds