Searched refs:detach_old_tables (Results 1 – 3 of 3) sorted by relevance
84 void (*detach_old_tables )(struct vcpu *v); member
2913 v->arch.paging.mode->shadow.detach_old_tables(v); in sh_update_paging_modes()3201 v->arch.paging.mode->shadow.detach_old_tables(v); in shadow_teardown()3399 v->arch.paging.mode->shadow.detach_old_tables(v); in shadow_one_bit_disable()
5106 .shadow.detach_old_tables = sh_detach_old_tables,
Completed in 18 milliseconds