Searched refs:setup_cpu (Results 1 – 1 of 1) sorted by relevance
91 static void setup_cpu(void *ctx) in setup_cpu() function291 on_cpu(i, setup_cpu, (void *)read_cr3()); in main()