Searched defs:gpt_l1_addr (Results 1 – 2 of 2) sorted by relevance
114 uint64_t *gpt_l1_addr; member
967 static inline void write_gpt(uint64_t *gpt_l1_desc, uint64_t *gpt_l1_addr, in write_gpt() argument