Rev 569 | Rev 1269 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
Rev 569 | Rev 1215 | ||
---|---|---|---|
Line 1... | Line 1... | ||
1 | /* |
1 | /* |
2 | * Copyright (C) 2005 Jakub Jermar |
2 | * Copyright (C) 2006 Martin Decky |
3 | * All rights reserved. |
3 | * All rights reserved. |
4 | * |
4 | * |
5 | * Redistribution and use in source and binary forms, with or without |
5 | * Redistribution and use in source and binary forms, with or without |
6 | * modification, are permitted provided that the following conditions |
6 | * modification, are permitted provided that the following conditions |
7 | * are met: |
7 | * are met: |
Line 27... | Line 27... | ||
27 | */ |
27 | */ |
28 | 28 | ||
29 | #ifndef __ppc32_TLB_H__ |
29 | #ifndef __ppc32_TLB_H__ |
30 | #define __ppc32_TLB_H__ |
30 | #define __ppc32_TLB_H__ |
31 | 31 | ||
32 | #define tlb_arch_init() |
32 | #include <arch/exception.h> |
33 | #define tlb_print() |
33 | #include <typedefs.h> |
- | 34 | ||
- | 35 | extern void pht_refill(istate_t *istate); |
|
34 | 36 | ||
35 | #endif |
37 | #endif |