25,6 → 25,7 |
* (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF |
* THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. |
*/ |
|
#include <print.h> |
#include <test.h> |
#include <mm/page.h> |
34,10 → 35,6 |
#include <arch/types.h> |
#include <debug.h> |
|
#ifdef CONFIG_BENCH |
#include <arch/cycle.h> |
#endif |
|
#define PAGE0 0x10000000 |
#define PAGE1 (PAGE0+PAGE_SIZE) |
|
44,16 → 41,11 |
#define VALUE0 0x01234567 |
#define VALUE1 0x89abcdef |
|
void test_mapping1(void) |
char * test_mapping1(void) |
{ |
#ifdef CONFIG_BENCH |
uint64_t t0 = get_cycle(); |
#endif |
uintptr_t frame0, frame1; |
uint32_t v0, v1; |
|
printf("Memory management test mapping #1\n"); |
|
frame0 = (uintptr_t) frame_alloc(ONE_FRAME, FRAME_KA); |
frame1 = (uintptr_t) frame_alloc(ONE_FRAME, FRAME_KA); |
|
87,9 → 79,5 |
ASSERT(v0 == 0); |
ASSERT(v1 == 0); |
|
printf("Test passed.\n"); |
#ifdef CONFIG_BENCH |
uint64_t dt = get_cycle() - t0; |
printf("Time: %.*d cycles\n", sizeof(dt) * 2, dt); |
#endif |
return NULL; |
} |