/* Tells whether the region of a page is locked.  */
bool flashcalw_is_page_region_locked(uint32_t page_number)
/* Tells whether the region of a page is locked.  */
bool flashcalw_is_page_region_locked(uint32_t page_number)
{
	return flashcalw_is_region_locked(flashcalw_get_page_region(page_number));
}