kernel/arch/i386/arch_do_vmctl.c

   1 /* The kernel call implemented in this file:
   2  *   m_type:    SYS_VMCTL
   3  *
   4  * The parameters for this kernel call are:
   5  *      SVMCTL_WHO      which process
   6  *      SVMCTL_PARAM    set this setting (VMCTL_*)
   7  *      SVMCTL_VALUE    to this value
   8  */
   9
  10 #include "kernel/system.h"
  11 #include <assert.h>
  12 #include <minix/type.h>
  13
  14 #include "arch_proto.h"
  15
  16 extern phys_bytes video_mem_vaddr;
  17
  18 extern char *video_mem;
  19
  20 static void setcr3(struct proc *p, u32_t cr3, u32_t *v)
  21 {
  22         /* Set process CR3. */
  23         p->p_seg.p_cr3 = cr3;
  24         assert(p->p_seg.p_cr3);
  25         p->p_seg.p_cr3_v = v;
  26         if(p == get_cpulocal_var(ptproc)) {
  27                 write_cr3(p->p_seg.p_cr3);
  28         }
  29         if(p->p_nr == VM_PROC_NR) {
  30                 if (arch_enable_paging(p) != OK)
  31                         panic("arch_enable_paging failed");
  32         }
  33         RTS_UNSET(p, RTS_VMINHIBIT);
  34 }
  35
  36 /*===========================================================================*
  37  *                              arch_do_vmctl                                *
  38  *===========================================================================*/
  39 int arch_do_vmctl(m_ptr, p)
  40 register message *m_ptr;        /* pointer to request message */
  41 struct proc *p;
  42 {
  43   switch(m_ptr->SVMCTL_PARAM) {
  44         case VMCTL_GET_PDBR:
  45                 /* Get process page directory base reg (CR3). */
  46                 m_ptr->SVMCTL_VALUE = p->p_seg.p_cr3;
  47                 return OK;
  48         case VMCTL_SETADDRSPACE:
  49                 setcr3(p, m_ptr->SVMCTL_PTROOT, (u32_t *) m_ptr->SVMCTL_PTROOT_V);
  50                 return OK;
  51         case VMCTL_FLUSHTLB:
  52         {
  53                 reload_cr3();
  54                 return OK;
  55         }
  56         case VMCTL_I386_INVLPG:
  57         {
  58                 i386_invlpg(m_ptr->SVMCTL_VALUE);
  59                 return OK;
  60         }
  61   }
  62
  63
  64
  65   printf("arch_do_vmctl: strange param %d\n", m_ptr->SVMCTL_PARAM);
  66   return EINVAL;
  67 }