page_lock_init
void page_lock_init(void);
page_lock_init(); /* currently a no-op */
page_lock_init();