diff options
author | Martin Schwidefsky <schwidefsky@de.ibm.com> | 2007-10-22 06:52:47 -0400 |
---|---|---|
committer | Martin Schwidefsky <schwidefsky@de.ibm.com> | 2007-10-22 06:52:49 -0400 |
commit | 3610cce87af0693603db171d5b6f6735f5e3dc5b (patch) | |
tree | 9aa7d9a0924b2f075c1b95ed57bb63ed512165c9 /include/asm-s390/pgtable.h | |
parent | e4aa402e7a3b6b87d8df6243a37171cdcd2f01c2 (diff) |
[S390] Cleanup page table definitions.
- De-confuse the defines for the address-space-control-elements
and the segment/region table entries.
- Create out of line functions for page table allocation / freeing.
- Simplify get_shadow_xxx functions.
Signed-off-by: Martin Schwidefsky <schwidefsky@de.ibm.com>
Diffstat (limited to 'include/asm-s390/pgtable.h')
-rw-r--r-- | include/asm-s390/pgtable.h | 219 |
1 files changed, 96 insertions, 123 deletions
diff --git a/include/asm-s390/pgtable.h b/include/asm-s390/pgtable.h index b424ab21f8bd..f9f59a805e5d 100644 --- a/include/asm-s390/pgtable.h +++ b/include/asm-s390/pgtable.h | |||
@@ -35,9 +35,6 @@ | |||
35 | #include <asm/bug.h> | 35 | #include <asm/bug.h> |
36 | #include <asm/processor.h> | 36 | #include <asm/processor.h> |
37 | 37 | ||
38 | struct vm_area_struct; /* forward declaration (include/linux/mm.h) */ | ||
39 | struct mm_struct; | ||
40 | |||
41 | extern pgd_t swapper_pg_dir[] __attribute__ ((aligned (4096))); | 38 | extern pgd_t swapper_pg_dir[] __attribute__ ((aligned (4096))); |
42 | extern void paging_init(void); | 39 | extern void paging_init(void); |
43 | extern void vmem_map_init(void); | 40 | extern void vmem_map_init(void); |
@@ -221,6 +218,8 @@ extern unsigned long vmalloc_end; | |||
221 | /* Hardware bits in the page table entry */ | 218 | /* Hardware bits in the page table entry */ |
222 | #define _PAGE_RO 0x200 /* HW read-only bit */ | 219 | #define _PAGE_RO 0x200 /* HW read-only bit */ |
223 | #define _PAGE_INVALID 0x400 /* HW invalid bit */ | 220 | #define _PAGE_INVALID 0x400 /* HW invalid bit */ |
221 | |||
222 | /* Software bits in the page table entry */ | ||
224 | #define _PAGE_SWT 0x001 /* SW pte type bit t */ | 223 | #define _PAGE_SWT 0x001 /* SW pte type bit t */ |
225 | #define _PAGE_SWX 0x002 /* SW pte type bit x */ | 224 | #define _PAGE_SWX 0x002 /* SW pte type bit x */ |
226 | 225 | ||
@@ -264,60 +263,75 @@ extern unsigned long vmalloc_end; | |||
264 | 263 | ||
265 | #ifndef __s390x__ | 264 | #ifndef __s390x__ |
266 | 265 | ||
267 | /* Bits in the segment table entry */ | 266 | /* Bits in the segment table address-space-control-element */ |
268 | #define _PAGE_TABLE_LEN 0xf /* only full page-tables */ | 267 | #define _ASCE_SPACE_SWITCH 0x80000000UL /* space switch event */ |
269 | #define _PAGE_TABLE_COM 0x10 /* common page-table */ | 268 | #define _ASCE_ORIGIN_MASK 0x7ffff000UL /* segment table origin */ |
270 | #define _PAGE_TABLE_INV 0x20 /* invalid page-table */ | 269 | #define _ASCE_PRIVATE_SPACE 0x100 /* private space control */ |
271 | #define _SEG_PRESENT 0x001 /* Software (overlap with PTL) */ | 270 | #define _ASCE_ALT_EVENT 0x80 /* storage alteration event control */ |
272 | 271 | #define _ASCE_TABLE_LENGTH 0x7f /* 128 x 64 entries = 8k */ | |
273 | /* Bits int the storage key */ | ||
274 | #define _PAGE_CHANGED 0x02 /* HW changed bit */ | ||
275 | #define _PAGE_REFERENCED 0x04 /* HW referenced bit */ | ||
276 | |||
277 | #define _USER_SEG_TABLE_LEN 0x7f /* user-segment-table up to 2 GB */ | ||
278 | #define _KERNEL_SEG_TABLE_LEN 0x7f /* kernel-segment-table up to 2 GB */ | ||
279 | |||
280 | /* | ||
281 | * User and Kernel pagetables are identical | ||
282 | */ | ||
283 | #define _PAGE_TABLE _PAGE_TABLE_LEN | ||
284 | #define _KERNPG_TABLE _PAGE_TABLE_LEN | ||
285 | |||
286 | /* | ||
287 | * The Kernel segment-tables includes the User segment-table | ||
288 | */ | ||
289 | 272 | ||
290 | #define _SEGMENT_TABLE (_USER_SEG_TABLE_LEN|0x80000000|0x100) | 273 | /* Bits in the segment table entry */ |
291 | #define _KERNSEG_TABLE _KERNEL_SEG_TABLE_LEN | 274 | #define _SEGMENT_ENTRY_ORIGIN 0x7fffffc0UL /* page table origin */ |
275 | #define _SEGMENT_ENTRY_INV 0x20 /* invalid segment table entry */ | ||
276 | #define _SEGMENT_ENTRY_COMMON 0x10 /* common segment bit */ | ||
277 | #define _SEGMENT_ENTRY_PTL 0x0f /* page table length */ | ||
292 | 278 | ||
293 | #define USER_STD_MASK 0x00000080UL | 279 | #define _SEGMENT_ENTRY (_SEGMENT_ENTRY_PTL) |
280 | #define _SEGMENT_ENTRY_EMPTY (_SEGMENT_ENTRY_INV) | ||
294 | 281 | ||
295 | #else /* __s390x__ */ | 282 | #else /* __s390x__ */ |
296 | 283 | ||
284 | /* Bits in the segment/region table address-space-control-element */ | ||
285 | #define _ASCE_ORIGIN ~0xfffUL/* segment table origin */ | ||
286 | #define _ASCE_PRIVATE_SPACE 0x100 /* private space control */ | ||
287 | #define _ASCE_ALT_EVENT 0x80 /* storage alteration event control */ | ||
288 | #define _ASCE_SPACE_SWITCH 0x40 /* space switch event */ | ||
289 | #define _ASCE_REAL_SPACE 0x20 /* real space control */ | ||
290 | #define _ASCE_TYPE_MASK 0x0c /* asce table type mask */ | ||
291 | #define _ASCE_TYPE_REGION1 0x0c /* region first table type */ | ||
292 | #define _ASCE_TYPE_REGION2 0x08 /* region second table type */ | ||
293 | #define _ASCE_TYPE_REGION3 0x04 /* region third table type */ | ||
294 | #define _ASCE_TYPE_SEGMENT 0x00 /* segment table type */ | ||
295 | #define _ASCE_TABLE_LENGTH 0x03 /* region table length */ | ||
296 | |||
297 | /* Bits in the region table entry */ | ||
298 | #define _REGION_ENTRY_ORIGIN ~0xfffUL/* region/segment table origin */ | ||
299 | #define _REGION_ENTRY_INV 0x20 /* invalid region table entry */ | ||
300 | #define _REGION_ENTRY_TYPE_MASK 0x0c /* region/segment table type mask */ | ||
301 | #define _REGION_ENTRY_TYPE_R1 0x0c /* region first table type */ | ||
302 | #define _REGION_ENTRY_TYPE_R2 0x08 /* region second table type */ | ||
303 | #define _REGION_ENTRY_TYPE_R3 0x04 /* region third table type */ | ||
304 | #define _REGION_ENTRY_LENGTH 0x03 /* region third length */ | ||
305 | |||
306 | #define _REGION1_ENTRY (_REGION_ENTRY_TYPE_R1 | _REGION_ENTRY_LENGTH) | ||
307 | #define _REGION1_ENTRY_EMPTY (_REGION_ENTRY_TYPE_R1 | _REGION_ENTRY_INV) | ||
308 | #define _REGION2_ENTRY (_REGION_ENTRY_TYPE_R2 | _REGION_ENTRY_LENGTH) | ||
309 | #define _REGION2_ENTRY_EMPTY (_REGION_ENTRY_TYPE_R2 | _REGION_ENTRY_INV) | ||
310 | #define _REGION3_ENTRY (_REGION_ENTRY_TYPE_R3 | _REGION_ENTRY_LENGTH) | ||
311 | #define _REGION3_ENTRY_EMPTY (_REGION_ENTRY_TYPE_R3 | _REGION_ENTRY_INV) | ||
312 | |||
297 | /* Bits in the segment table entry */ | 313 | /* Bits in the segment table entry */ |
298 | #define _PMD_ENTRY_INV 0x20 /* invalid segment table entry */ | 314 | #define _SEGMENT_ENTRY_ORIGIN ~0x7ffUL/* segment table origin */ |
299 | #define _PMD_ENTRY 0x00 | 315 | #define _SEGMENT_ENTRY_RO 0x200 /* page protection bit */ |
316 | #define _SEGMENT_ENTRY_INV 0x20 /* invalid segment table entry */ | ||
300 | 317 | ||
301 | /* Bits in the region third table entry */ | 318 | #define _SEGMENT_ENTRY (0) |
302 | #define _PGD_ENTRY_INV 0x20 /* invalid region table entry */ | 319 | #define _SEGMENT_ENTRY_EMPTY (_SEGMENT_ENTRY_INV) |
303 | #define _PGD_ENTRY 0x07 | 320 | |
321 | #endif /* __s390x__ */ | ||
304 | 322 | ||
305 | /* | 323 | /* |
306 | * User and kernel page directory | 324 | * A user page table pointer has the space-switch-event bit, the |
325 | * private-space-control bit and the storage-alteration-event-control | ||
326 | * bit set. A kernel page table pointer doesn't need them. | ||
307 | */ | 327 | */ |
308 | #define _REGION_THIRD 0x4 | 328 | #define _ASCE_USER_BITS (_ASCE_SPACE_SWITCH | _ASCE_PRIVATE_SPACE | \ |
309 | #define _REGION_THIRD_LEN 0x3 | 329 | _ASCE_ALT_EVENT) |
310 | #define _REGION_TABLE (_REGION_THIRD|_REGION_THIRD_LEN|0x40|0x100) | ||
311 | #define _KERN_REGION_TABLE (_REGION_THIRD|_REGION_THIRD_LEN) | ||
312 | |||
313 | #define USER_STD_MASK 0x0000000000000080UL | ||
314 | 330 | ||
315 | /* Bits in the storage key */ | 331 | /* Bits int the storage key */ |
316 | #define _PAGE_CHANGED 0x02 /* HW changed bit */ | 332 | #define _PAGE_CHANGED 0x02 /* HW changed bit */ |
317 | #define _PAGE_REFERENCED 0x04 /* HW referenced bit */ | 333 | #define _PAGE_REFERENCED 0x04 /* HW referenced bit */ |
318 | 334 | ||
319 | #endif /* __s390x__ */ | ||
320 | |||
321 | /* | 335 | /* |
322 | * Page protection definitions. | 336 | * Page protection definitions. |
323 | */ | 337 | */ |
@@ -358,65 +372,38 @@ extern unsigned long vmalloc_end; | |||
358 | #define __S111 PAGE_EX_RW | 372 | #define __S111 PAGE_EX_RW |
359 | 373 | ||
360 | #ifndef __s390x__ | 374 | #ifndef __s390x__ |
361 | # define PMD_SHADOW_SHIFT 1 | 375 | # define PxD_SHADOW_SHIFT 1 |
362 | # define PGD_SHADOW_SHIFT 1 | ||
363 | #else /* __s390x__ */ | 376 | #else /* __s390x__ */ |
364 | # define PMD_SHADOW_SHIFT 2 | 377 | # define PxD_SHADOW_SHIFT 2 |
365 | # define PGD_SHADOW_SHIFT 2 | ||
366 | #endif /* __s390x__ */ | 378 | #endif /* __s390x__ */ |
367 | 379 | ||
368 | static inline struct page *get_shadow_page(struct page *page) | 380 | static inline struct page *get_shadow_page(struct page *page) |
369 | { | 381 | { |
370 | if (s390_noexec && !list_empty(&page->lru)) | 382 | if (s390_noexec && page->index) |
371 | return virt_to_page(page->lru.next); | 383 | return virt_to_page((void *)(addr_t) page->index); |
372 | return NULL; | ||
373 | } | ||
374 | |||
375 | static inline pte_t *get_shadow_pte(pte_t *ptep) | ||
376 | { | ||
377 | unsigned long pteptr = (unsigned long) (ptep); | ||
378 | |||
379 | if (s390_noexec) { | ||
380 | unsigned long offset = pteptr & (PAGE_SIZE - 1); | ||
381 | void *addr = (void *) (pteptr ^ offset); | ||
382 | struct page *page = virt_to_page(addr); | ||
383 | if (!list_empty(&page->lru)) | ||
384 | return (pte_t *) ((unsigned long) page->lru.next | | ||
385 | offset); | ||
386 | } | ||
387 | return NULL; | 384 | return NULL; |
388 | } | 385 | } |
389 | 386 | ||
390 | static inline pmd_t *get_shadow_pmd(pmd_t *pmdp) | 387 | static inline void *get_shadow_pte(void *table) |
391 | { | 388 | { |
392 | unsigned long pmdptr = (unsigned long) (pmdp); | 389 | unsigned long addr, offset; |
390 | struct page *page; | ||
393 | 391 | ||
394 | if (s390_noexec) { | 392 | addr = (unsigned long) table; |
395 | unsigned long offset = pmdptr & | 393 | offset = addr & (PAGE_SIZE - 1); |
396 | ((PAGE_SIZE << PMD_SHADOW_SHIFT) - 1); | 394 | page = virt_to_page((void *)(addr ^ offset)); |
397 | void *addr = (void *) (pmdptr ^ offset); | 395 | return (void *)(addr_t)(page->index ? (page->index | offset) : 0UL); |
398 | struct page *page = virt_to_page(addr); | ||
399 | if (!list_empty(&page->lru)) | ||
400 | return (pmd_t *) ((unsigned long) page->lru.next | | ||
401 | offset); | ||
402 | } | ||
403 | return NULL; | ||
404 | } | 396 | } |
405 | 397 | ||
406 | static inline pgd_t *get_shadow_pgd(pgd_t *pgdp) | 398 | static inline void *get_shadow_table(void *table) |
407 | { | 399 | { |
408 | unsigned long pgdptr = (unsigned long) (pgdp); | 400 | unsigned long addr, offset; |
401 | struct page *page; | ||
409 | 402 | ||
410 | if (s390_noexec) { | 403 | addr = (unsigned long) table; |
411 | unsigned long offset = pgdptr & | 404 | offset = addr & ((PAGE_SIZE << PxD_SHADOW_SHIFT) - 1); |
412 | ((PAGE_SIZE << PGD_SHADOW_SHIFT) - 1); | 405 | page = virt_to_page((void *)(addr ^ offset)); |
413 | void *addr = (void *) (pgdptr ^ offset); | 406 | return (void *)(addr_t)(page->index ? (page->index | offset) : 0UL); |
414 | struct page *page = virt_to_page(addr); | ||
415 | if (!list_empty(&page->lru)) | ||
416 | return (pgd_t *) ((unsigned long) page->lru.next | | ||
417 | offset); | ||
418 | } | ||
419 | return NULL; | ||
420 | } | 407 | } |
421 | 408 | ||
422 | /* | 409 | /* |
@@ -448,47 +435,42 @@ static inline int pgd_present(pgd_t pgd) { return 1; } | |||
448 | static inline int pgd_none(pgd_t pgd) { return 0; } | 435 | static inline int pgd_none(pgd_t pgd) { return 0; } |
449 | static inline int pgd_bad(pgd_t pgd) { return 0; } | 436 | static inline int pgd_bad(pgd_t pgd) { return 0; } |
450 | 437 | ||
451 | static inline int pmd_present(pmd_t pmd) { return pmd_val(pmd) & _SEG_PRESENT; } | ||
452 | static inline int pmd_none(pmd_t pmd) { return pmd_val(pmd) & _PAGE_TABLE_INV; } | ||
453 | static inline int pmd_bad(pmd_t pmd) | ||
454 | { | ||
455 | return (pmd_val(pmd) & (~PAGE_MASK & ~_PAGE_TABLE_INV)) != _PAGE_TABLE; | ||
456 | } | ||
457 | |||
458 | #else /* __s390x__ */ | 438 | #else /* __s390x__ */ |
459 | 439 | ||
460 | static inline int pgd_present(pgd_t pgd) | 440 | static inline int pgd_present(pgd_t pgd) |
461 | { | 441 | { |
462 | return (pgd_val(pgd) & ~PAGE_MASK) == _PGD_ENTRY; | 442 | return pgd_val(pgd) & _REGION_ENTRY_ORIGIN; |
463 | } | 443 | } |
464 | 444 | ||
465 | static inline int pgd_none(pgd_t pgd) | 445 | static inline int pgd_none(pgd_t pgd) |
466 | { | 446 | { |
467 | return pgd_val(pgd) & _PGD_ENTRY_INV; | 447 | return pgd_val(pgd) & _REGION_ENTRY_INV; |
468 | } | 448 | } |
469 | 449 | ||
470 | static inline int pgd_bad(pgd_t pgd) | 450 | static inline int pgd_bad(pgd_t pgd) |
471 | { | 451 | { |
472 | return (pgd_val(pgd) & (~PAGE_MASK & ~_PGD_ENTRY_INV)) != _PGD_ENTRY; | 452 | unsigned long mask = ~_REGION_ENTRY_ORIGIN & ~_REGION_ENTRY_INV; |
453 | return (pgd_val(pgd) & mask) != _REGION3_ENTRY; | ||
473 | } | 454 | } |
474 | 455 | ||
456 | #endif /* __s390x__ */ | ||
457 | |||
475 | static inline int pmd_present(pmd_t pmd) | 458 | static inline int pmd_present(pmd_t pmd) |
476 | { | 459 | { |
477 | return (pmd_val(pmd) & ~PAGE_MASK) == _PMD_ENTRY; | 460 | return pmd_val(pmd) & _SEGMENT_ENTRY_ORIGIN; |
478 | } | 461 | } |
479 | 462 | ||
480 | static inline int pmd_none(pmd_t pmd) | 463 | static inline int pmd_none(pmd_t pmd) |
481 | { | 464 | { |
482 | return pmd_val(pmd) & _PMD_ENTRY_INV; | 465 | return pmd_val(pmd) & _SEGMENT_ENTRY_INV; |
483 | } | 466 | } |
484 | 467 | ||
485 | static inline int pmd_bad(pmd_t pmd) | 468 | static inline int pmd_bad(pmd_t pmd) |
486 | { | 469 | { |
487 | return (pmd_val(pmd) & (~PAGE_MASK & ~_PMD_ENTRY_INV)) != _PMD_ENTRY; | 470 | unsigned long mask = ~_SEGMENT_ENTRY_ORIGIN & ~_SEGMENT_ENTRY_INV; |
471 | return (pmd_val(pmd) & mask) != _SEGMENT_ENTRY; | ||
488 | } | 472 | } |
489 | 473 | ||
490 | #endif /* __s390x__ */ | ||
491 | |||
492 | static inline int pte_none(pte_t pte) | 474 | static inline int pte_none(pte_t pte) |
493 | { | 475 | { |
494 | return (pte_val(pte) & _PAGE_INVALID) && !(pte_val(pte) & _PAGE_SWT); | 476 | return (pte_val(pte) & _PAGE_INVALID) && !(pte_val(pte) & _PAGE_SWT); |
@@ -548,31 +530,22 @@ static inline void pgd_clear(pgd_t * pgdp) { } | |||
548 | 530 | ||
549 | static inline void pmd_clear_kernel(pmd_t * pmdp) | 531 | static inline void pmd_clear_kernel(pmd_t * pmdp) |
550 | { | 532 | { |
551 | pmd_val(pmdp[0]) = _PAGE_TABLE_INV; | 533 | pmd_val(pmdp[0]) = _SEGMENT_ENTRY_EMPTY; |
552 | pmd_val(pmdp[1]) = _PAGE_TABLE_INV; | 534 | pmd_val(pmdp[1]) = _SEGMENT_ENTRY_EMPTY; |
553 | pmd_val(pmdp[2]) = _PAGE_TABLE_INV; | 535 | pmd_val(pmdp[2]) = _SEGMENT_ENTRY_EMPTY; |
554 | pmd_val(pmdp[3]) = _PAGE_TABLE_INV; | 536 | pmd_val(pmdp[3]) = _SEGMENT_ENTRY_EMPTY; |
555 | } | ||
556 | |||
557 | static inline void pmd_clear(pmd_t * pmdp) | ||
558 | { | ||
559 | pmd_t *shadow_pmd = get_shadow_pmd(pmdp); | ||
560 | |||
561 | pmd_clear_kernel(pmdp); | ||
562 | if (shadow_pmd) | ||
563 | pmd_clear_kernel(shadow_pmd); | ||
564 | } | 537 | } |
565 | 538 | ||
566 | #else /* __s390x__ */ | 539 | #else /* __s390x__ */ |
567 | 540 | ||
568 | static inline void pgd_clear_kernel(pgd_t * pgdp) | 541 | static inline void pgd_clear_kernel(pgd_t * pgdp) |
569 | { | 542 | { |
570 | pgd_val(*pgdp) = _PGD_ENTRY_INV | _PGD_ENTRY; | 543 | pgd_val(*pgdp) = _REGION3_ENTRY_EMPTY; |
571 | } | 544 | } |
572 | 545 | ||
573 | static inline void pgd_clear(pgd_t * pgdp) | 546 | static inline void pgd_clear(pgd_t * pgdp) |
574 | { | 547 | { |
575 | pgd_t *shadow_pgd = get_shadow_pgd(pgdp); | 548 | pgd_t *shadow_pgd = get_shadow_table(pgdp); |
576 | 549 | ||
577 | pgd_clear_kernel(pgdp); | 550 | pgd_clear_kernel(pgdp); |
578 | if (shadow_pgd) | 551 | if (shadow_pgd) |
@@ -581,21 +554,21 @@ static inline void pgd_clear(pgd_t * pgdp) | |||
581 | 554 | ||
582 | static inline void pmd_clear_kernel(pmd_t * pmdp) | 555 | static inline void pmd_clear_kernel(pmd_t * pmdp) |
583 | { | 556 | { |
584 | pmd_val(*pmdp) = _PMD_ENTRY_INV | _PMD_ENTRY; | 557 | pmd_val(*pmdp) = _SEGMENT_ENTRY_EMPTY; |
585 | pmd_val1(*pmdp) = _PMD_ENTRY_INV | _PMD_ENTRY; | 558 | pmd_val1(*pmdp) = _SEGMENT_ENTRY_EMPTY; |
586 | } | 559 | } |
587 | 560 | ||
561 | #endif /* __s390x__ */ | ||
562 | |||
588 | static inline void pmd_clear(pmd_t * pmdp) | 563 | static inline void pmd_clear(pmd_t * pmdp) |
589 | { | 564 | { |
590 | pmd_t *shadow_pmd = get_shadow_pmd(pmdp); | 565 | pmd_t *shadow_pmd = get_shadow_table(pmdp); |
591 | 566 | ||
592 | pmd_clear_kernel(pmdp); | 567 | pmd_clear_kernel(pmdp); |
593 | if (shadow_pmd) | 568 | if (shadow_pmd) |
594 | pmd_clear_kernel(shadow_pmd); | 569 | pmd_clear_kernel(shadow_pmd); |
595 | } | 570 | } |
596 | 571 | ||
597 | #endif /* __s390x__ */ | ||
598 | |||
599 | static inline void pte_clear(struct mm_struct *mm, unsigned long addr, pte_t *ptep) | 572 | static inline void pte_clear(struct mm_struct *mm, unsigned long addr, pte_t *ptep) |
600 | { | 573 | { |
601 | pte_t *shadow_pte = get_shadow_pte(ptep); | 574 | pte_t *shadow_pte = get_shadow_pte(ptep); |