Searched refs:guest_l1d_flush_sw (Results 1 - 2 of 2) sorted by relevance

/freebsd-13-stable/sys/amd64/vmm/intel/
H A Dvmx_support.S153 cmpb $0, guest_l1d_flush_sw(%rip)
H A Dvmx.c215 int guest_l1d_flush_sw; variable
217 &guest_l1d_flush_sw, 0, NULL);
912 guest_l1d_flush_sw = 1;
914 &guest_l1d_flush_sw);
916 if (guest_l1d_flush_sw) {
1126 if (guest_l1d_flush && !guest_l1d_flush_sw) {

Completed in 66 milliseconds