Subversion Repositories HelenOS

Rev

Rev 1888 | Rev 2071 | Go to most recent revision | Blame | Compare with Previous | Last modification | View Log | Download | RSS feed

  1. /*
  2.  * Copyright (C) 2005 - 2006 Jakub Jermar
  3.  * Copyright (C) 2006 Jakub Vana
  4.  * All rights reserved.
  5.  *
  6.  * Redistribution and use in source and binary forms, with or without
  7.  * modification, are permitted provided that the following conditions
  8.  * are met:
  9.  *
  10.  * - Redistributions of source code must retain the above copyright
  11.  *   notice, this list of conditions and the following disclaimer.
  12.  * - Redistributions in binary form must reproduce the above copyright
  13.  *   notice, this list of conditions and the following disclaimer in the
  14.  *   documentation and/or other materials provided with the distribution.
  15.  * - The name of the author may not be used to endorse or promote products
  16.  *   derived from this software without specific prior written permission.
  17.  *
  18.  * THIS SOFTWARE IS PROVIDED BY THE AUTHOR ``AS IS'' AND ANY EXPRESS OR
  19.  * IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES
  20.  * OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED.
  21.  * IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR ANY DIRECT, INDIRECT,
  22.  * INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT
  23.  * NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
  24.  * DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
  25.  * THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
  26.  * (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF
  27.  * THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
  28.  */
  29.  
  30. /** @addtogroup ia64mm 
  31.  * @{
  32.  */
  33. /** @file
  34.  */
  35.  
  36. #ifndef KERN_ia64_PAGE_H_
  37. #define KERN_ia64_PAGE_H_
  38.  
  39. #include <arch/mm/frame.h>
  40.  
  41. #define PAGE_SIZE   FRAME_SIZE
  42. #define PAGE_WIDTH  FRAME_WIDTH
  43.  
  44. #define PAGE_COLOR_BITS 0           /* dummy */
  45.  
  46. #ifdef KERNEL
  47.  
  48. /** Bit width of the TLB-locked portion of kernel address space. */
  49. #define KERNEL_PAGE_WIDTH       28  /* 256M */
  50.  
  51. #define PPN_SHIFT           12
  52.  
  53. #define VRN_SHIFT           61
  54. #define VRN_MASK            (7LL << VRN_SHIFT)
  55. #define VA2VRN(va)          ((va)>>VRN_SHIFT)
  56.  
  57. #ifdef __ASM__
  58. #define VRN_KERNEL          7
  59. #else
  60. #define VRN_KERNEL          7LL
  61. #endif
  62.  
  63. #define REGION_REGISTERS        8
  64.  
  65. #define KA2PA(x)    ((uintptr_t) (x-(VRN_KERNEL<<VRN_SHIFT)))
  66. #define PA2KA(x)    ((uintptr_t) (x+(VRN_KERNEL<<VRN_SHIFT)))
  67.  
  68. #define VHPT_WIDTH          20  /* 1M */
  69. #define VHPT_SIZE           (1 << VHPT_WIDTH)
  70.  
  71. #define PTA_BASE_SHIFT          15
  72.  
  73. /** Memory Attributes. */
  74. #define MA_WRITEBACK    0x0
  75. #define MA_UNCACHEABLE  0x4
  76.  
  77. /** Privilege Levels. Only the most and the least privileged ones are ever used. */
  78. #define PL_KERNEL   0x0
  79. #define PL_USER     0x3
  80.  
  81. /* Access Rigths. Only certain combinations are used by the kernel. */
  82. #define AR_READ     0x0
  83. #define AR_EXECUTE  0x1
  84. #define AR_WRITE    0x2
  85.  
  86. #ifndef __ASM__
  87.  
  88. #include <arch/mm/frame.h>
  89. #include <arch/barrier.h>
  90. #include <genarch/mm/page_ht.h>
  91. #include <arch/mm/asid.h>
  92. #include <arch/types.h>
  93. #include <typedefs.h>
  94. #include <debug.h>
  95.  
  96. struct vhpt_tag_info {
  97.     unsigned long long tag : 63;
  98.     unsigned ti : 1;
  99. } __attribute__ ((packed));
  100.  
  101. union vhpt_tag {
  102.     struct vhpt_tag_info tag_info;
  103.     unsigned tag_word;
  104. };
  105.  
  106. struct vhpt_entry_present {
  107.     /* Word 0 */
  108.     unsigned p : 1;
  109.     unsigned : 1;
  110.     unsigned ma : 3;
  111.     unsigned a : 1;
  112.     unsigned d : 1;
  113.     unsigned pl : 2;
  114.     unsigned ar : 3;
  115.     unsigned long long ppn : 38;
  116.     unsigned : 2;
  117.     unsigned ed : 1;
  118.     unsigned ig1 : 11;
  119.    
  120.     /* Word 1 */
  121.     unsigned : 2;
  122.     unsigned ps : 6;
  123.     unsigned key : 24;
  124.     unsigned : 32;
  125.    
  126.     /* Word 2 */
  127.     union vhpt_tag tag;
  128.    
  129.     /* Word 3 */                                                   
  130.     uint64_t ig3 : 64;
  131. } __attribute__ ((packed));
  132.  
  133. struct vhpt_entry_not_present {
  134.     /* Word 0 */
  135.     unsigned p : 1;
  136.     unsigned long long ig0 : 52;
  137.     unsigned ig1 : 11;
  138.    
  139.     /* Word 1 */
  140.     unsigned : 2;
  141.     unsigned ps : 6;
  142.     unsigned long long ig2 : 56;
  143.  
  144.     /* Word 2 */
  145.     union vhpt_tag tag;
  146.    
  147.     /* Word 3 */                                                   
  148.     uint64_t ig3 : 64;
  149. } __attribute__ ((packed));
  150.  
  151. typedef union vhpt_entry {
  152.     struct vhpt_entry_present present;
  153.     struct vhpt_entry_not_present not_present;
  154.     uint64_t word[4];
  155. } vhpt_entry_t;
  156.  
  157. struct region_register_map {
  158.     unsigned ve : 1;
  159.     unsigned : 1;
  160.     unsigned ps : 6;
  161.     unsigned rid : 24;
  162.     unsigned : 32;
  163. } __attribute__ ((packed));
  164.  
  165. typedef union region_register {
  166.     struct region_register_map map;
  167.     unsigned long long word;
  168. } region_register;
  169.  
  170. struct pta_register_map {
  171.     unsigned ve : 1;
  172.     unsigned : 1;
  173.     unsigned size : 6;
  174.     unsigned vf : 1;
  175.     unsigned : 6;
  176.     unsigned long long base : 49;
  177. } __attribute__ ((packed));
  178.  
  179. typedef union pta_register {
  180.     struct pta_register_map map;
  181.     uint64_t word;
  182. } pta_register;
  183.  
  184. /** Return Translation Hashed Entry Address.
  185.  *
  186.  * VRN bits are used to read RID (ASID) from one
  187.  * of the eight region registers registers.
  188.  *
  189.  * @param va Virtual address including VRN bits.
  190.  *
  191.  * @return Address of the head of VHPT collision chain.
  192.  */
  193. static inline uint64_t thash(uint64_t va)
  194. {
  195.     uint64_t ret;
  196.  
  197.     __asm__ volatile ("thash %0 = %1\n" : "=r" (ret) : "r" (va));
  198.  
  199.     return ret;
  200. }
  201.  
  202. /** Return Translation Hashed Entry Tag.
  203.  *
  204.  * VRN bits are used to read RID (ASID) from one
  205.  * of the eight region registers.
  206.  *
  207.  * @param va Virtual address including VRN bits.
  208.  *
  209.  * @return The unique tag for VPN and RID in the collision chain returned by thash().
  210.  */
  211. static inline uint64_t ttag(uint64_t va)
  212. {
  213.     uint64_t ret;
  214.  
  215.     __asm__ volatile ("ttag %0 = %1\n" : "=r" (ret) : "r" (va));
  216.  
  217.     return ret;
  218. }
  219.  
  220. /** Read Region Register.
  221.  *
  222.  * @param i Region register index.
  223.  *
  224.  * @return Current contents of rr[i].
  225.  */
  226. static inline uint64_t rr_read(index_t i)
  227. {
  228.     uint64_t ret;
  229.     ASSERT(i < REGION_REGISTERS);
  230.     __asm__ volatile ("mov %0 = rr[%1]\n" : "=r" (ret) : "r" (i << VRN_SHIFT));
  231.     return ret;
  232. }
  233.  
  234. /** Write Region Register.
  235.  *
  236.  * @param i Region register index.
  237.  * @param v Value to be written to rr[i].
  238.  */
  239. static inline void rr_write(index_t i, uint64_t v)
  240. {
  241.     ASSERT(i < REGION_REGISTERS);
  242.     __asm__ volatile (
  243.         "mov rr[%0] = %1\n"
  244.         :
  245.         : "r" (i << VRN_SHIFT), "r" (v)
  246.     );
  247. }
  248.  
  249. /** Read Page Table Register.
  250.  *
  251.  * @return Current value stored in PTA.
  252.  */
  253. static inline uint64_t pta_read(void)
  254. {
  255.     uint64_t ret;
  256.    
  257.     __asm__ volatile ("mov %0 = cr.pta\n" : "=r" (ret));
  258.    
  259.     return ret;
  260. }
  261.  
  262. /** Write Page Table Register.
  263.  *
  264.  * @param v New value to be stored in PTA.
  265.  */
  266. static inline void pta_write(uint64_t v)
  267. {
  268.     __asm__ volatile ("mov cr.pta = %0\n" : : "r" (v));
  269. }
  270.  
  271. extern void page_arch_init(void);
  272.  
  273. extern vhpt_entry_t *vhpt_hash(uintptr_t page, asid_t asid);
  274. extern bool vhpt_compare(uintptr_t page, asid_t asid, vhpt_entry_t *v);
  275. extern void vhpt_set_record(vhpt_entry_t *v, uintptr_t page, asid_t asid, uintptr_t frame, int flags);
  276.  
  277. #endif /* __ASM__ */
  278.  
  279. #endif /* KERNEL */
  280.  
  281. #endif
  282.  
  283. /** @}
  284.  */
  285.