#include <object.h>
#include <stddef.h>
#include <error.h>
#include <device/processor.h>
#include "arch/x86_64/page.h"
#include "arch/x86_64/page-mapping.h"
#include "print.h"