Searched refs:machine__exit_vdso (Results 1 – 3 of 3) sorted by relevance
27 void machine__exit_vdso(struct machine *machine);
104 void machine__exit_vdso(struct machine *machine) in machine__exit_vdso() function
127 machine__exit_vdso(machine); in machine__exit()