Searched refs:hyp_create_idmap (Results 1 – 3 of 3) sorted by relevance
20 int hyp_create_idmap(u32 hyp_va_bits);
86 ret = hyp_create_idmap(hyp_va_bits); in recreate_hyp_mappings()
328 int hyp_create_idmap(u32 hyp_va_bits) in hyp_create_idmap() function