Searched refs:read_ttb (Results 1 – 1 of 1) sorted by relevance
278 read_ttb(void) in read_ttb() function303 pd_entry_t *pagedir = read_ttb(); in bootstrap_bs_map()329 pd_entry_t *cur_pd = read_ttb(); in copy_io_area_map()