2 * OS-to-NetWatch communication packet interface
3 * NetWatch system management mode administration console
5 * Copyright (c) 2008 Jacob Potter and Joshua Wise. All rights reserved.
6 * This program is free software; you can redistribute and/or modify it under
7 * the terms found in the file LICENSE in the root of this source tree.
16 void * l2p(void * addr);
24 packet_t * check_packet(uint32_t logical_addr);
26 #endif /* _PAGETABLE_H */