#ifndef HAL_PAGING_H_
#define HAL_PAGING_H_

void hal_loadpd(PgTable *cr3);

#endif // HAL_PAGING_H_