Searched refs:machine__exit_vdso (Results 1 – 3 of 3) sorted by relevance
28 void machine__exit_vdso(struct machine *machine);
108 void machine__exit_vdso(struct machine *machine) in machine__exit_vdso() function
235 machine__exit_vdso(machine); in machine__exit()