Searched refs:destroy_monitor_table (Results 1 – 3 of 3) sorted by relevance
99 void (*destroy_monitor_table )(struct vcpu *v, mfn_t mmfn); member
3008 old_mode->shadow.destroy_monitor_table(v, old_mfn); in sh_update_paging_modes()3206 v->arch.paging.mode->shadow.destroy_monitor_table(v, mfn); in shadow_teardown()
5112 .shadow.destroy_monitor_table = sh_destroy_monitor_table,
Completed in 18 milliseconds