pagefault() is private

This commit is contained in:
Tomas Hruby 2010-04-27 20:30:33 +00:00
parent d11b88cfc5
commit b528d52ea8

View File

@ -13,7 +13,7 @@
extern int catch_pagefaults = 0;
void pagefault( struct proc *pr,
PRIVATE void pagefault( struct proc *pr,
struct exception_frame * frame,
int is_nested)
{