Searched refs:vmexit_set_bsp (Results 1 – 3 of 3) sorted by relevance
39 void vmexit_set_bsp(int hart_id);
352 vmexit_set_bsp(vcpu_id(bsp)); in bhyve_init_platform()
68 vmexit_set_bsp(int hart_id) in vmexit_set_bsp() function