Rev 341 | Rev 396 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
Rev 341 | Rev 391 | ||
---|---|---|---|
Line 1... | Line 1... | ||
1 | /* |
1 | /* |
2 | * Copyright (C) 2005 Matrin Decky |
2 | * Copyright (C) 2005 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 __mips32_ASID_H__ |
29 | #ifndef __mips32_ASID_H__ |
30 | #define __mips32_ASID_H__ |
30 | #define __mips32_ASID_H__ |
31 | 31 | ||
- | 32 | #include <arch/types.h> |
|
- | 33 | ||
- | 34 | typedef __u8 asid_t; |
|
- | 35 | ||
- | 36 | extern asid_t asid_get(void); |
|
32 | extern void asid_bitmap_reset(void); |
37 | extern void asid_put(asid_t asid); |
33 | 38 | ||
34 | #endif |
39 | #endif |