Print this page
OS-6546 Use PCID if KPTI is enabled


  96                 kdi_setdr1(value);
  97                 break;
  98         case 2:
  99                 kdi_setdr2(value);
 100                 break;
 101         case 3:
 102                 kdi_setdr3(value);
 103                 break;
 104         case 6:
 105                 kdi_setdr6(value);
 106                 break;
 107         case 7:
 108                 kdi_setdr7(value);
 109                 break;
 110         default:
 111                 panic("invalid debug register dr%d", reg);
 112                 /*NOTREACHED*/
 113         }
 114 }
 115 
 116 void
 117 kdi_flush_caches(void)
 118 {
 119         reload_cr3();
 120 }
 121 
 122 extern void kdi_slave_entry(void);
 123 
 124 void
 125 kdi_stop_slaves(int cpu, int doxc)
 126 {
 127         if (doxc)
 128                 kdi_xc_others(cpu, kdi_slave_entry);
 129 }
 130 
 131 /*
 132  * On i86pc, slaves busy-loop, so we don't need to do anything here.
 133  */
 134 void
 135 kdi_start_slaves(void)
 136 {
 137 }
 138 
 139 void
 140 kdi_slave_wait(void)
 141 {




  96                 kdi_setdr1(value);
  97                 break;
  98         case 2:
  99                 kdi_setdr2(value);
 100                 break;
 101         case 3:
 102                 kdi_setdr3(value);
 103                 break;
 104         case 6:
 105                 kdi_setdr6(value);
 106                 break;
 107         case 7:
 108                 kdi_setdr7(value);
 109                 break;
 110         default:
 111                 panic("invalid debug register dr%d", reg);
 112                 /*NOTREACHED*/
 113         }
 114 }
 115 






 116 extern void kdi_slave_entry(void);
 117 
 118 void
 119 kdi_stop_slaves(int cpu, int doxc)
 120 {
 121         if (doxc)
 122                 kdi_xc_others(cpu, kdi_slave_entry);
 123 }
 124 
 125 /*
 126  * On i86pc, slaves busy-loop, so we don't need to do anything here.
 127  */
 128 void
 129 kdi_start_slaves(void)
 130 {
 131 }
 132 
 133 void
 134 kdi_slave_wait(void)
 135 {