21 lines
539 B
C
21 lines
539 B
C
#include <stdio.h>
|
|
|
|
#include "page_begin.h"
|
|
|
|
static void display_result(void *ptr, size_t page_size, void *expected_result)
|
|
{
|
|
void *res = page_begin(ptr, page_size);
|
|
|
|
printf("ptr: %p\n", ptr);
|
|
printf("page_size: %lu\n", page_size);
|
|
printf("expected_result: %p\n", expected_result);
|
|
printf("result: %p\n", res);
|
|
|
|
printf(expected_result == res ? "OK\n" : "KO\n");
|
|
}
|
|
|
|
int main(void)
|
|
{
|
|
display_result((void *)0x1234ffea, 4096, (void *)0x1234f000);
|
|
display_result((void *)0x1234ffea, 256, (void *)0x1234ff00);
|
|
}
|