Subversion Repositories HelenOS

Rev

Rev 2128 | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed

Rev 2128 Rev 2465
Line 1... Line 1...
1 
/*
 1 
/*
2 
 * Copyright (c) 2005 Martin Decky
 2 
 * Copyright (c) 2007 Pavel Jancik, Michal Kebrt
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 28... Line 28...
28 
 
 28 
 
29 
/** @addtogroup arm32mm
 29 
/** @addtogroup arm32mm
30 
 * @{
 30 
 * @{
31 
 */
 31 
 */
32 
/** @file
 32 
/** @file
- 
 
 33 
 *  @brief ASIDs related declarations.
- 
 
 34 
 *
- 
 
 35 
 *  ARM CPUs doesn't support ASIDs.
33 
 */
 36 
 */
34 
 
 37 
 
35 
#ifndef KERN_arm32_ASID_H_
 38 
#ifndef KERN_arm32_ASID_H_
36 
#define KERN_arm32_ASID_H_
 39 
#define KERN_arm32_ASID_H_
37 
 
 40 
 
38 
#include <arch/types.h>
 41 
#include <arch/types.h>
39 
 
 42 
 
40 
#define ASID_MAX_ARCH       3   /* TODO */
 43 
#define ASID_MAX_ARCH       3   /* minimal required number */
41 
 
 44 
 
42 
typedef uint8_t asid_t;
 45 
typedef uint8_t asid_t;
43 
 
 46 
 
- 
 
 47 
/*
- 
 
 48 
 * This works due to fact that this file is never included alone but only
- 
 
 49 
 * through "generic/include/mm/asid.h" where ASID_START is defined.
- 
 
 50 
 */
- 
 
 51 
#define asid_get()      (ASID_START + 1)
- 
 
 52 
 
- 
 
 53 
#define asid_put(asid)
- 
 
 54 
 
44 
#endif
 55 
#endif
45 
 
 56 
 
46 
/** @}
 57 
/** @}
47 
 */
 58 
 */