4 lines
100 B
C
4 lines
100 B
C
#pragma once
|
|
#include <stdint.h>
|
|
|
|
void determine_user_page_fault_reason(uintptr_t faulting_address); |