#pragma once
#include <stdint.h>

void determine_user_page_fault_reason(uintptr_t faulting_address);