NULL_PAGE
#define PAGE_VALID(page) ((page) != NULL_PAGE)
if (l2_pt == NULL_PAGE) {
if (l1_pt == NULL_PAGE) {
return (phys_addr_t)NULL_PAGE;