Searched refs:machine__delete (Results 1 – 3 of 3) sorted by relevance
157 void machine__delete(struct machine *self);
578 void machine__delete(struct machine *self) in machine__delete() function
2646 machine__delete(pos); in machines__destroy_guest_kernel_maps()