Searched refs:va_space_set_dtb (Results 1 – 3 of 3) sorted by relevance
40 void va_space_set_dtb(struct va_space *vs, uint64_t dtb);
112 void va_space_set_dtb(struct va_space *vs, uint64_t dtb) in va_space_set_dtb() function120 va_space_set_dtb(vs, dtb); in va_space_create()
202 va_space_set_dtb(vs, s->cr[3]); in fix_dtb()222 va_space_set_dtb(vs, *cr3); in fix_dtb()